The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
A finite presentation theorem for approximating logic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Program development using abstract interpretation (and the ciao system preprocessor)
SAS'03 Proceedings of the 10th international conference on Static analysis
Abstract verification and debugging of constraint logic programs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Hi-index | 0.00 |