A theory of incremental computation and its application
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logic-based approach to system modelling
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |