An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Inheritance in Higher Order Logic: Modeling and Reasoning
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A trace model for pointers and objects
Programming methodology
Class analyses as abstract interpretations of trace semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Class invariants as abstract interpretation of trace semantics
Computer Languages, Systems and Structures
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electronic Notes in Theoretical Computer Science (ENTCS)
Class-level modular analysis for object oriented languages
SAS'03 Proceedings of the 10th international conference on Static analysis
Type classes as objects and implicits
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Field access analysis for enforcing access control policies
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Semantic hierarchy refactoring by abstract interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
Hi-index | 0.00 |