Remarks on remarks on many-sorted equational logic
ACM SIGPLAN Notices
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extensions and foundations of object-oriented programming
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
The abstraction/implementation model of problem reformulation
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Order-sorted parameterization and induction
Semantics and algebraic specification
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |