Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Deductive synthesis of sorting programs
Journal of Symbolic Computation
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN Notices
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Hi-index | 0.00 |