Daniel Cabeza and Manuel Hermenegildo fdcabeza, Department of ...  Home/Search
Context Related
| clip.dia.fi.upm.es...ciaomodulesws.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/clippu...node6 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways, such as, for example, being more amenable to e ective global analysis and allowing separate compilation or sensible creation of standalone executables. We discuss a number of issues related to the design of such an improved module system... (Update)
Cited by: More
A Configuration Framework to Develop and Deploy Distributed .. - Fernandez, Carrillo (2001) (Correct)
The Ciao Modular, Standalone Compiler and Its Generic.. - Cabeza, Hermenegildo (Correct)
A Documentation Generator for (C)LP Systems - Hermenegildo (2000) (Correct)
Active bibliography (related documents): More All
3.3: A New Module System for Prolog - Cabeza, Hermenegildo (2000) (Correct)
0.8: Combined Static and Dynamic Assertion-based Debugging.. - Puebla, Bueno.. (1999) (Correct)
0.7: Data-Flow Analysis of Prolog Programs with.. - Bueno, Cabeza.. (1995) (Correct)
Similar documents based on text: More All
0.7: WWW Programming using Computational Logic Systems (and the .. - Cabeza, Hermenegildo (1997) (Correct)
0.6: Distributed WWW Programming using (Ciao-)Prolog and the.. - Cabeza, Hermenegildo (2001) (Correct)
0.6: WWW Programming using Computational Logic Systems - And The Pillow (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/article/cabeza99new.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/article/cabeza99new.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
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
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
21 An Assertion Language for Debugging of Constraint Logic Prog.. - Puebla, Bueno et al. - 1999
21 An Assertion Language for Debugging of Constraint Logic Prog.. - Puebla, Bueno et al. - 1997
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 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 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 Quintus Prolog User's Guide and Reference Manual|Version (context) - Prolog, Guide et al. - 1986
9 Towards an algebra for constructing logic programs (context) - O'Keefe - 1985
9 Flow analysis of dynamic logic programs - Debray - 1989
8 Programming with Global Analysis - Hermenegildo, Group - 1997
7 National Physical Laboratory (context) - for - 1994
7 National Physical Laboratory (context) - for - 1995
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
4 A Documentation Generator for Logic Programming Systems (context) - Hermenegildo - 1999
3 Higher-order Logic Programming in Ciao (context) - Cabeza, Hermenegildo - 1999
3 The Ciao System Documentation Series{TR CLIP (context) - Group, Reference - 1997
2 Formal semantics of a theory of modules (context) - Warren, Chen - 1987
2 High performance prolog implementation through global analys.. (context) - Taylor - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://clip.dia.fi.upm.es/clippubsbyyear/node6.html): More
O'CIAO - An Object Oriented Programming model using CIAO Prolog - Pineda, Hermenegildo (1999) (Correct)
A Documentation Generator for (C)LP Systems - Hermenegildo (Correct)
The Ciao Modular, Standalone Compiler and Its Generic.. - Cabeza, Hermenegildo (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