Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
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
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
ACM Computing Surveys (CSUR)
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.
Journal of Functional Programming
From functional to object-oriented programming: a smooth transition for beginners
Proceedings of the 2005 workshop on Functional and declarative programming in education
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Separation Logic for Multiple Inheritance
Electronic Notes in Theoretical Computer Science (ENTCS)
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |