Towards declarative GIS analysis
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Towards modular development of typed unification grammars
Computational Linguistics
A modular semantics for higher-order declarative programming with constraints
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Hi-index | 5.23 |