Logic for problem-solving
Communicating sequential processes
Communications of the ACM
Lucid, a nonprocedural language with iteration
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
The next 700 programming languages
Communications of the ACM
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Correct and optimal implementations of recursion in a simple programming language
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
LISP 1.5 Programmer's Manual
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Proposal for a categorical programming language
ACM SIGPLAN Notices
Some thoughts arising from a language design effort
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Systematic derivation of complementary specifications
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |