The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Incremental analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Bottom-Up Specialisation of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A new framework for declarative programming
Theoretical Computer Science
Path Dependent Analysis of Logic Programs
Higher-Order and Symbolic Computation
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Providing declarative semantics for HH extended constraint logic programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A compositional semantics for CHR
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Transforming semantics by abstract interpretation
Theoretical Computer Science
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Modular class analysis with DATALOG
SAS'03 Proceedings of the 10th international conference on Static analysis
A fixed point semantics for logic programs extended with cuts
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Constructive specifications for compositional units
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
| Hi-index | 0.00 |