Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Final data type specifications: a new data type specification method
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressiveness of the operation set of a data abstraction
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract Data Types as Lattices of Finitely Generated Models
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
A constructive alternative to axiomatic data type definitions
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
TOWARDS A THEORY FOR ABSTRACT DATA TYPES
TOWARDS A THEORY FOR ABSTRACT DATA TYPES
Models of LCF.
Mathematical Theory of Computation
Mathematical Theory of Computation
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
Some definitions for algebraic data type specifications
ACM SIGPLAN Notices
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed representation of objects by functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Executable specifications with quantifiers in the FASE system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Typed tagless final interpreters
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |