Michele Bugliesi, Evelina Lamma, Paola Mello  Home/Search
Context Related
| math.unipd.it/pub/pe...mod10years.ps.gz 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: math.unipd.it/~michele/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion We mentioned earlier in this section that the choice of TP as the denotation of a program may not yield a satisfactory semantics for the algebra. Indeed, the property of being homomorphic is very basic as it simply gives us the ability to define the meaning of a composite program in terms of the meaning of its components. As noted by Maher in [77], this represents probably the very least we should expect from a semantic characterization of a modular language. In fact, what is also... (Update)
Cited by: More
On the Semantics of Logic Program Composition - Antonio Brogi Department (Correct)
Data-Flow Analysis of Prolog Programs with.. - Bueno, Cabeza.. (1995) (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Active bibliography (related documents): More All
1.3: Differential Logic Programs: Semantics and.. - Bossi, Bugliesi.. (Correct)
1.1: A Multilevel Prolog Representation Of Strategies For.. - Bielikova, Navrat (1996) (Correct)
1.1: Modular Logic Programming - Brogi, Mancarella, Pedreschi, Turini (1994) (Correct)
Similar documents based on text: More All
0.4: Dealing with Incomplete Knowledge on CLP(FD) Variable.. - Gavanelli, Lamma, Mello, .. (2003) (Correct)
0.4: An Abductive Framework for Information Exchange in.. - Gavanelli, Lamma.. (Correct)
0.4: Modeling Interactions Using Social Integrity.. - Alberti.. (2004) (Correct)
Related documents from co-citation: More All
18: Miller D.: A Logical Analysis of Modules in Logic Programming, Journal of Logic Programming, 1989, pp. 79 19
15: An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988
14: Contextual Logic Programming (context) - Monteiro, Porto - 1989
BibTeX entry: (Update)
M. Bugliesi, E. Lamma, and P. Mello. Modularity in Logic Programming. , 19-20:443--502, 1994. http://citeseer.ist.psu.edu/bugliesi93modularity.html More
@article{ bugliesi94modularity,
author = "Michele Bugliesi and Evelina Lamma and Paola Mello",
title = "Modularity in Logic Programming",
journal = "Journal of Logic Programming",
volume = "19/20",
pages = "443-502",
year = "1994",
url = "citeseer.ist.psu.edu/bugliesi93modularity.html" }
Citations (may not include all citations):395 An abstract Prolog instruction set (context) - Warren - 1983
343 Modal Logic: an Introduction (context) - Chellas - 1980
342 Data Abstraction and Polymorphism (context) - Cardelli, Wegner et al. - 1985
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller ACM DBLP
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976 ACM DBLP
223 Linear objects: logical processes with built-in inheritance - Andreoli, Pareschi - 1991
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
179 The Godel Programming Language (context) - Hill, Lloyd
166 An Overview of Prolog (context) - Nadathur, Miller - 1988
149 A logical analysis of modules in logic programming (context) - Miller - 1989 ACM DBLP
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982 ACM DBLP
119 Login: a logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986 ACM DBLP
99 Logic: a Higher-Order Language for Reasoning about Objects (context) - Kifer, Lausen - 1989
86 Amalgamating Language and Metalanguage in Logic Programming (context) - Bowen, Kowalski - 1982
82 Prolog: an Extension of Prolog with Hypothetical Implication.. (context) - Gabbay, Reyle - 1984
82 Prolog: an Extension of prolog with Hypothetical Implication (context) - Gabbay - 1985
82 Objects as Closures: Abstract Semantics of Object Oriented L.. (context) - Reddy - 1988
68 Unification under a mixed prefix (context) - Miller - 1992 ACM DBLP
61 Equivalences of Logic Programs (context) - Maher - 1988 ACM DBLP
58 Contextual logic programming (context) - Monteiro, Porto DBLP
53 Lexical scoping as universal quantification - Miller - 1989 DBLP
48 Semantical Analysis of Intuitionistic Logic (context) - Kripke
42 Fully abstract compositional semantics for logic programs (context) - Gaifman, Shapiro - 1989 ACM DBLP
39 An algebra of logic programs (context) - Mancarella, Pedreschi - 1988 DBLP
39 Logic for Complex Objects (context) - Chen, Warren - 1989
37 Warren's Abstract Machine (context) - Ait-Kaci - 1991
36 A theory of modules in logic programming (context) - Miller - 1986
35 Program Construction in Computational Logic (context) - Brogi - 1993
34 Semantical Paradigms: Notes for an Invited Lecture (context) - Meyer - 1988
31 A Semi-functional Implementation of a Higher-order lLgic Pro.. - Elliott, Pfenning - 1991
30 A calculus for the construction of modular Prolog programs (context) - Sannella, Wallen - 1992 ACM DBLP
29 Composition Operators for Logic Theories (context) - Brogi, Mancarella et al. - 1990
29 A declarative view of inheritance in logic programming (context) - Bugliesi - 1992 DBLP
27 Towards an algebra for constructing logic programs (context) - O'Keefe - 1985 DBLP
24 Scoping Constructs in Logic Programming: Implementation Prob.. - Nadathur, Jayaraman et al. - 1993
24 Logical objects (context) - Conery - 1988 DBLP
23 Compositional Model-theoretic Semantics for Logic Programs (context) - Brogi, Lamma et al. - 1992 DBLP
20 Abstract Syntax and Logic Programming (context) - Miller - 1992 ACM DBLP
20 Representing Objects in a Logic Programming Language with Sc.. - Hodas, Miller - 1990
18 A Proof Procedure for the Logic of Hereditary Harrop Formula.. - Nadathur - 1993 ACM DBLP
17 Expressing database queries with intuitionistic logic - Bonner, McCarty et al. - 1989 DBLP
17 An experience with a Prolog-based object-oriented language (context) - Fukunaga, Hirose - 1986
17 Concerning Formulas of the types (context) - Harrop - 1960
16 A Multimodal Logic to Define Modules in Logic Programming (context) - Baldoni, Martelli - 1993 ACM DBLP
16 A transformational view of inheritance in Logic Programming (context) - Monteiro, Porto - 1990 ACM DBLP
16 Implementation techniques for scoping constructs in logic pr.. (context) - Jayaraman, Nadathur - 1991 DBLP
14 Merging objects and logic programming: Relational semantics (context) - Gallaire - 1986 DBLP
13 A Language for Contextual Logic Programming (context) - Monteiro, Porto - 1993 ACM
13 Prentice Hall International (context) - McCabe, Objects - 1992
12 Meta for Modularising Logic Programming (context) - Brogi, Mancarella et al. - 1992
12 An Extended Warren Abstract Machine for the Execution of Str.. (context) - Lamma, Mello et al. - 1992 ACM DBLP
11 The design of an abstract machine for efficient implementati.. (context) - Lamma, Mello et al. - 1989 DBLP
11 Objects as intensions (context) - Chen, Warren - 1988 DBLP
10 Metalogic for Knowledge Representation (context) - Brogi, Turini - 1990
10 Studies in Logic and the Foundations of Mathematics (context) - Fitting, Model et al. - 1969
9 Logic programming in a software engineering perspective (context) - Mello, Natali et al. - 1989 DBLP
9 A modal reconstruction of blocks and modules in logic progra.. (context) - Giordano, Martelli - 1991 DBLP
9 Syntactic and Semantic Inheritance in Logic Programming (context) - Monteiro, Porto - 1991 ACM DBLP
8 Enumeration Operators and Modular Logic Programming (context) - Fitting - 1987 ACM DBLP
8 Extending Horn Clause Logic with Modules Constructs (context) - Giordano, Martelli et al. - 1992
8 Composing Open Logic Programs (context) - Brogi, Lamma et al. - 1993 DBLP
8 Inheritance and Hypothetical Reasoning in Logic Programming (context) - Brogi, Lamma et al. - 1990 DBLP
7 Objects as Communicating Prolog Units (context) - Mello, Natali - 1987 ACM DBLP
7 Objects in a Logic Programming Framework (context) - Brogi, Lamma et al. - 1992 ACM DBLP
7 Local definitions with static scope rules in logic languages (context) - Giordano, Martelli et al. - 1988
7 Inheritance as Combination of Horn Clause Theories (context) - Mello - 1989 ACM
6 Techniques for Implementing Contexts in Logic Programming (context) - Denti, Lamma et al. - 1993 ACM DBLP
5 Mandala: A logic based knowledge programming system (context) - Furukawa, Takeuchi et al. - 1984
4 Quintus Prolog User's Guide (context) - Systems, Mountain et al. - 1986
4 Closures and fairness in the semantics of logic programming (context) - Lassez, Maher - 1984
4 MetaProlog design and implementation (context) - Bacha - 1988
4 Partial Deduction for Structured Logic Programming (context) - Bugliesi, Lamma et al. - 1993 DBLP
3 Differential Logic Programs (context) - Bossi, Bugliesi et al. - 1993 ACM
3 An implementation of a contextual logic programming system (context) - Dias - 1990
3 Lexical logic programs (context) - Moscowitz, Shapiro - 1991 DBLP
3 SICStus Prolog User's Guide (context) - of, Science - 1990
2 Clausal Intuitionistic Logic I: Fixed point Semantics (context) - McCarty - 1988
2 Implementing a Notion of Modules in the Logic Programming La.. - Kwon, Nadathur et al. - 1993
2 Programming Languages (context) - Horowitz - 1984 ACM DBLP
1 mail communication (context) - Miller - 1993
1 Observationally Equivalences for Logic Programs (context) - Gabbrielli, Levi et al. - 1992
1 Inheritance Systems in Logic Programming: the Language and i.. (context) - Bugliesi, Nardiello - 1992
1 Prolog Language Reference (context) - Inc, Canada - 1985
1 Inheritance Systems in Logic Programming: Semantics and Impl.. (context) - Bugliesi
1 A parametrised module system for constructing typed logic pr.. (context) - Hill - 1993
1 Partial evaluation for hierarchies of logic theories (context) - Bugliesi, Lamma et al. - 1990 ACM DBLP
1 Clausal Intuitionistic Logic II: Tableau Proof Procedures (context) - McCarty
1 A versatile module system for Prolog mapped to flat Prolog (context) - Karali, Pelecanos et al. - 1993
1 the Semantics of Inheritance in Logic Programming: Compositi.. (context) - Bugliesi - 1993
1 Invited Lecture (context) - Miller - 1992 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.unipd.it/~michele/papers.html): More
Differential Logic Programs: Programming.. - Bossi, Bugliesi.. (Correct)
A Logic for Encapsulation in Object Oriented Languages - Bugliesi, Jamil (1994) (Correct)
A Stable Model Semantics for Behavioral Inheritance in.. - Bugliesi, Jamil (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