Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Ideal models for pointwise relational and state-free imperative programming
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Certified assembly programming with embedded code pointers
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular verification of assembly code with stack-based control abstractions
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Reasoning in Object-Oriented Programming
Verified Software: Theories, Tools, Experiments
A Theory of Pointers for the UTP
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Category Theoretic Models of Data Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Refinement of higher-order logic programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Pointers and records in the unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A proposal for records in event-b
FM'06 Proceedings of the 14th international conference on Formal Methods
| Hi-index | 0.00 |