Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Remarks on remarks on many-sorted equational logic
ACM SIGPLAN Notices
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
AUTO STAR—a software development system
ACM SIGPLAN Notices
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract data types and the development of data structures
Communications of the ACM
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN 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
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Observational proofs by rewriting
Theoretical Computer Science
Subtyping and constructive specification
Nordic Journal of Computing
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Busy and lazy FP with infinite objects
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Formal specification and verification of a connection establishment protocol
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Functional specification of synchronized processes based on modal logic
ICSE '82 Proceedings of the 6th international conference on Software engineering
Some extensions to algebraic specifications
Proceedings of an ACM conference on Language design for reliable software
FAD, a functional programming language that supports abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
The evolution of specification techniques
ACM '77 Proceedings of the 1977 annual conference
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Abstract data types, then and now
Software pioneers
Abstract data types and the development of data structures
Software pioneers
ACM SIGPLAN Notices
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Suggestions about a specification technique
ACM SIGPLAN Notices
Some remarks on abstract data types
ACM SIGPLAN Notices
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
ACM SIGSOFT Software Engineering Notes
More thoughts on specification and verification
ACM SIGSOFT Software Engineering Notes
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Interpolation for data structures
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Journal of Symbolic Computation
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
A sufficient completeness reasoning tool for partial specifications
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Hi-index | 0.02 |