Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Extracting General Recursive Program Schemes in Nuprl's Type Theory
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
| Hi-index | 0.01 |