Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
An algebraic presentation of predicate logic
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
| Hi-index | 0.00 |