Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Symbolic execution and program testing
Communications of the ACM
Synchronization in actor systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
An overview of KRL, a Knowledge Representation Language
An overview of KRL, a Knowledge Representation Language
Simula Begin
Hi-index | 0.00 |