Optimizing modular logic languages

Authors:
Michele Bugliesi;Anna Ciampolini;Evelina Lamma;Paola Mello
Affiliations:
Dipartimento di Matematica Pura e Applicata, Università diPadova, Via Belzoni 7, 35131 Padova, Italy;DEIS, Università di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy;DEIS, Università di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy;Dipartimento di Ingegneria, Università di Ferrara, Via Saragat, 44100 Ferrara, Italy
Venue:
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Year:
1998

Citing 10
Cited 0

A logical analysis of modules in logic programming

Journal of Logic Programming
Fully abstract compositional semantics for logic programs

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hypothetical reasoning in logic programming: a semantic approach

Information Processing Letters
Partial evaluation in logic programming

Journal of Logic Programming
Logic and objects

Logic and objects
Abstract interpretation and application to logic programs

Journal of Logic Programming
An extended Warren abstract machine for the execution of structured logic programs

Journal of Logic Programming
Differential logic programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logic programming in intuitionistic linear logic: theory, design, and implementation

Logic programming in intuitionistic linear logic: theory, design, and implementation
An abstract interpretation framework for optimizing dynamic modular logic languages

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract