A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Abstract data types and the development of data structures
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
A property based specification formalism classification
Journal of Systems and Software
| Hi-index | 0.00 |