Communications of the ACM
Fen—an axiomatic basis for program semantics
Communications of the ACM
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple, natural notation for applicative languages
ACM SIGPLAN Notices
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
ICSE '85 Proceedings of the 8th international conference on Software engineering
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Relational data bases in the design of program construction systems
ACM SIGPLAN Notices
Relational data bases in the design of program construction systems
ACM SIGSOFT Software Engineering Notes
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
| Hi-index | 0.00 |