Daniel Cabeza, Manuel Hermenegildo  Home/Search
Context Related
| clip.dia.fi.upm.es...modulescl2000.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clip.dia.fi.upm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is now widely accepted that separating programs into modules is useful in program development and maintenance. While many Prolog implementations include useful module systems, we argue that these systems can be improved in a number of ways, such as, for example, being more amenable to e ective global analysis and transformation and allowing separate compilation or sensible creation of standalone executables. (Update)
Similar documents based on text: More All
0.5: A New Module System for Prolog - Daniel Cabeza And (1999) (Correct)
0.5: The Ciao Modular, Standalone Compiler and Its Generic.. - Cabeza, Hermenegildo (Correct)
0.4: Distributed WWW Programming using (Ciao-)Prolog and the.. - Cabeza, Hermenegildo (2001) (Correct)
Related documents from co-citation: More All
6: The execution algorithm of Mercury: an ecient purely declarative logic programmi.. (context) - Somogyi, Henderson et al. - 1996
6: An Assertion Language for Constraint Logic Programs - Puebla, Bueno et al. - 2000
6: Debugging and Optimization Using the Ciao System Preprocessor (context) - Hermenegildo, Bueno et al. - 1999
BibTeX entry: (Update)
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems. N.M. State U., December 1999. http://citeseer.ist.psu.edu/cabeza00new.html More
@article{ cabeza00new,
author = "Daniel Cabeza and Manuel Hermenegildo",
title = "A New Module System for {Prolog}",
journal = "Lecture Notes in Computer Science",
volume = "1861",
pages = "131--??",
year = "2000",
url = "citeseer.ist.psu.edu/cabeza00new.html" }
Citations (may not include all citations):149 A logical analysis of modules in logic programming (context) - Miller - 1989
58 Contextual logic programming (context) - Monteiro, Porto - 1989
54 Sicstus Prolog User's Manual (context) - Carlsson, Widen - 1994
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
40 The execution algorithm of Mercury: an ecient purely declara.. (context) - Somogyi, Henderson et al. - 1996
29 Prolog: The Standard (context) - Deransart, Ed-Dbali et al. - 1996
26 Global Analysis of Standard Prolog Programs - Bueno, Cabeza et al. - 1996
23 Debugging and Optimization Using the Ciao System Preprocesso.. (context) - Hermenegildo, Bueno et al. - 1999
23 the Role of Semantic Approximations in Validation and Diagno.. (context) - Bueno, Deransart et al. - 1997
21 A feature-based constraint system for logic programming with.. (context) - t-Kaci, Podelski et al. - 1992
19 The Goedel Programming Language (context) - Hill, Lloyd - 1994
18 Proving properties of logic programs by abstract diagnosis (context) - Comini, Levi et al. - 1996
15 A theory of modules based on second-order logic (context) - Chen - 1987
14 Some Issues in Analysis and Specialization of Modular Ciao-P.. - Puebla, Hermenegildo - 1999
14 and an Extensible Assertion Language for Program Validation .. (context) - Hermenegildo, Puebla et al. - 1999
13 High-Performace Logic Programming with the Aquarius Prolog C.. (context) - Van Roy, Despain - 1992
11 School of Computer Science (context) - Bueno, Cabeza et al. - 1997
11 The XSB Programming System (context) - Sagonas, Swift et al. - 1993
10 Improving the Execution Speed of Compiled Prolog with Modes (context) - Van Roy, Demoen et al. - 1987
9 Flow analysis of dynamic logic programs - Debray - 1989
9 Towards an algebra for constructing logic programs (context) - O'Keefe - 1985
9 Quintus Prolog User's Guide and Reference Manual|Version (context) - User, Reference et al. - 1986
8 Programming with Global Analysis - Hermenegildo, Group - 1997
7 ectiveness of Abstract Interpretation in Automatic Paralleli.. (context) - Bueno, Garc et al. - 1999
5 The Ciao Modular Compiler and Its Generic Program Processing.. (context) - Cabeza, Hermenegildo - 1999
4 O'ciao: An Object Oriented Programming Model (context) - Pineda, Hermenegildo - 1999
3 Higher-order Logic Programming in Ciao (context) - Cabeza, Hermenegildo - 1999
2 Formal semantics of a theory of modules (context) - Warren, Chen - 1987
2 A Documentation Generator (context) - Hermenegildo
2 High performance prolog implementation through global analys.. (context) - Taylor - 1991
1 Part 1: General Core (context) - for, PROLOG et al. - 1994
1 Working Draft (context) - for, PROLOG - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://clip.dia.fi.upm.es/papers/): More
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. (Correct)
CoLogNetWS: the CoLogNet Web-site - Development of a.. - Navas, Cabeza.. (Correct)
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC