共 50 条
- [31] A statically verifiable programming model for concurrent object-oriented programs Lect. Notes Comput. Sci., 2006, (420-439):
- [32] A statically verifiable programming model for concurrent object-oriented programs FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 420 - 439
- [34] INHERITANCE IN ACTOR BASED CONCURRENT OBJECT-ORIENTED LANGUAGES COMPUTER JOURNAL, 1989, 32 (04): : 297 - 304
- [35] Inheritance and rules in object-oriented semantic web languages Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2876 : 95 - 110
- [36] Inheritance and rules in object-oriented semantic Web languages RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, 2003, 2876 : 95 - 110
- [37] Inheritance in object-oriented languages: Requirements and supporting mechanisms JOOP - Journal of Object-Oriented Programming, 2000, 12 (08): : 15 - 24