P.M. Hill  Home/Search
Context
Related
| agora.leeds.ac.uk/scs/doc/...94_23.ps.Z 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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 1 The need for modules in the development of large programs is well known while meta-programming is widely regarded as a simple yet powerful methodology for knowledge representation and reasoning. Thus if we wish to reason about large knowledge bases, it is desirable that meta-programs should be designed to reason about modular programs. This paper describes a module system which allows the modules to be parametrised over the language symbols exported by the module and shows that this... (Update)
Similar documents (at the sentence level):
15.0%: A Parameterised Module System for Constructing Typed Logic Programs - Hill (1993) (Correct)
Active bibliography (related documents): More All
0.2: Meta-programming with Theory Systems - Jonas Barklund (1995) (Correct)
0.2: To Parse or Not To Parse - Vanhoof, Martens (1997) (Correct)
0.2: Meta-Programming in Logic Programming - Hill, Gallagher (1994) (Correct)
Similar documents based on text: More All
0.3: Practical Metaprogramming - Cordy, Shukla (1992) (Correct)
0.2: Metaprogramming Domain Specific Metaprograms - Cazenave (1999) (Correct)
0.2: Reflection in Oberon - Steindl (1997) (Correct)
BibTeX entry: (Update)
@incollection{ hill94module,
author = "Patricia M. Hill",
title = "A Module System for Meta-Programming",
booktitle = "Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, {LOBSTR}'94 and {META}'94, Pisa, Italy",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "Laurent Fribourg and Franco Turini",
pages = "395--409",
year = "1994",
url = "citeseer.ist.psu.edu/hill94module.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
179 The Godel Programming Language (context) - Hill, Lloyd - 1994
86 Amalgamating language and metalanguage in logic programming (context) - Bowen, Kowalski - 1982
12 Meta for modularising logic programming (context) - Brogi, Mancarella et al. - 1992
10 Logic meta-programming facilities in 'LOG - Cervesato, Rossi - 1992
9 To be published in Handbook of Logic in Artificial Intellige.. (context) - Hill, Gallagher et al. - 1994
8 A perfect Herbrand semantics for untyped vanilla meta-progra.. (context) - Martens, De Schreye - 1992
7 A parameterised module system for constructing typed logic p.. - Hill - 1993
6 Godel as a meta-language for composing logic programs (context) - Brogi, Contiero - 1994
1 Technical Report UPMAIL Technical Report (context) - Barklund, logic - 1994
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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