Jonas Barklund  Home/Search
Context Related
| csd.uu.se/pub/papers/repor...0080.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: csd.uu.se/papers/longreports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this review of metaprogramming in logic we pay equal attention to theoretical and practical issues: the contents range from mathematical and logical preliminaries to implementation and applications in, e.g., software engineering and knowledge representation. The area is one in rapid development but we have emphasized such issues that are likely to be important for future metaprogramming languages and methodologies. 1 Introduction The term `metaprogramming' relates to `programming' as... (Update)
Context of citations to this paper: More
.... importance and usefulness in logic [55, 56] and in theorem proving [38] in computer science [30, 51, 60] and in logic programming [7, 40, 47] has been generally recognised (see also [1, 11, 13, 32, 57] for snapshots of research) The common intuitive notion of reflection in...
Cited by: More
Compact representation of Knowledge Bases in.. - Struyf, Ramon.. (2004) (Correct)
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
Meta-reasoning: a Survey - Costantini (2002) (Correct)
Active bibliography (related documents): More All
2.1: A Basis for a Multilevel Metalogic Programming Language - Barklund, Boberg, Dell'Acqua (1994) (Correct)
2.0: Meta-programming with Theory Systems - Jonas Barklund (1995) (Correct)
1.4: Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) (Correct)
Similar documents based on text: More All
0.5: Metaprogramming Applied to Web Component Deployment - Löwe (2002) (Correct)
0.3: Reflection in Oberon - Steindl (1997) (Correct)
0.3: Meta-Programming with Names and Necessity - Nanevski, Pfenning (2002) (Correct)
Related documents from co-citation: More All
11: Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
10: Why untyped non-ground meta-programming is not (context) - Martens, De Schreye - 1995
9: The Art of Prolog (context) - Sterling, Shapiro - 1986
BibTeX entry: (Update)
J. Barklund. Metaprogramming in logic. In A. Kent and J. Williams, editors, Encyclopedia of Computer Science and Technology. Marcell Dekker, Inc., New York. To Appear. http://citeseer.ist.psu.edu/barklund94metaprogramming.html More
@misc{ barklund-metaprogramming,
author = "J. Barklund",
title = "Metaprogramming in logic",
text = "J. Barklund. Metaprogramming in logic. In A. Kent and J. Williams, editors,
Encyclopedia of Computer Science and Technology. Marcell Dekker, Inc., New
York. To Appear.",
url = "citeseer.ist.psu.edu/barklund94metaprogramming.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract Interpretation: a Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
634 A Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
311 Semantical Considerations on Nonmonotonic Logic (context) - Moore - 1985
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
218 Abstract Interpretation and Application to Logic Programs (context) - Cousot, Cousot - 1992
182 Logic for Problem Solving (context) - Kowalski - 1979
179 The Godel Programming Language (context) - Hill, Lloyd - 1994
166 An Overview of Prolog (context) - Miller, Nadathur - 1988
160 Programs with Common Sense - McCarthy - 1958
159 Predicate Logic as a Programming Language (context) - Kowalski - 1974
139 Fold Transformations of Logic Programs (context) - Tamaki, Sato - 1984
121 Prolegomena to a Theory of Mechanized Formal Reasoning (context) - Weyhrauch - 1980
112 Partial Evaluation of Computation Process---an Approach to a.. - Futamura - 1971
105 Compile-time Derivation of Variable Dependency Using Abstrac.. - Muthukumar, Hermenegildo - 1992
101 Higher-Order Logic Programming - Miller, Nadathur - 1986
98 Mix: a Self-Applicable Partial Evaluator for Experiments in .. (context) - Jones, Sestoft et al. - 1989
94 A Deduction Model of Belief (context) - Konolige - 1986
86 Amalgamating Language and Metalanguage in Logic Programming (context) - Bowen, Kowalski - 1982
70 A Semantics-Based Framework for the Abstract Interpretation .. (context) - Jones, Sondergaard - 1987
68 Uber formal unentscheidbare Satze der Principia Mathematica .. (context) - Godel - 1931
55 Analysis of Metaprograms (context) - Hill, Lloyd - 1989
51 Automatic Mode Inference for Logic Programs - Debray, Warren - 1988
50 Derivation of Logic Programs (context) - Hogger - 1981
50 An Unsolvable Problem of Elementary Number Theory (context) - Church - 1936
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1986
48 Meta-Level Architectures and Reflection (context) - Maes, Nardi - 1988
47 An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
44 Languages with Self-Reference I: Foundations (context) - Perlis - 1985
42 The Logic of Frames (context) - Hayes - 1979
42 Problems and Promises of Computational Logic (context) - Kowalski - 1990
34 Using Meta-Level Inference for Selective Application of Mult.. (context) - Bundy, Welham - 1981
31 Partial Evaluation of Prolog Programs and its Application to.. (context) - Takeuchi, Furukawa - 1986
30 A Specification of an Abstract Prolog Machine and its Applic.. (context) - Komorowski - 1981
29 Composition Operators for Logic Theories (context) - Brogi, Mancarella et al. - 1990
29 An Introduction to Partial Deduction (context) - Komorowski - 1992
28 Languages with Self-Reference II: Knowledge (context) - Perlis - 1988
25 A Metalogic Programming Language (context) - Costantini, Lanzarone - 1989
24 Transfinite Recursive Progressions of Axiomatic Theories (context) - Feferman - 1962
22 The Incompleteness Theorems (context) - Smorynski - 1977
21 Meta-Programming in Logic Programming (context) - Abramson, Rogers - 1989
21 Metainterpreters for Expert System Construction (context) - Sterling, Beer - 1989
20 Semantics-based Dataflow Analysis of Logic Programs (context) - Marriott, Sondergaard - 1989
17 An Overview of Metalevel Architecture (context) - Genesereth - 1983
16 Metalevel Control for Logic Programs (context) - Gallaire, Lasserre - 1982
15 A Formalization of Metaprogramming for Real - Levi, Ramundo - 1993
14 Computation and Deduction (context) - Hayes - 1973
13 Meta-Level Programming and Knowledge Representation (context) - Bowen - 1985
12 A Meta-Level Extension of Prolog (context) - Bowen, Weinberg - 1985
11 The Concept of Truth in Formalized Languages (context) - Tarski - 1956
11 Definable Naming Relations in Meta-level Systems - van Harmelen - 1992
11 Reflective Agents in Metalogic Programming (context) - Costantini, Dell'Acqua et al. - 1992
10 Metalogic for Knowledge Representation (context) - Brogi, Turini - 1991
10 Logic Meta-Programming Facilities in 'LOG - Cervesato, Rossi - 1992
9 Reasoning about Knowledge and Ignorance (context) - Aiello, Nardi et al. - 1988
9 An Application of Amalgamated Logic to Multi-Agent Belief (context) - Kim, Kowalski - 1990
8 A Complete Top-down Interpreter for First Order Programs (context) - Sato, Motoyoshi - 1991
8 A Resolution Method for Quantified Modal Logics of Knowledge.. (context) - Geissler, Konolige - 1986
7 A Sensible Least Herbrand Semantics for Untyped Vanilla Meta.. (context) - De Schreye, Martens - 1992
7 Meta-Programming through a Truth Predicate (context) - Sato - 1992
5 A Simple Formulation of the Theory of Metalogic Programming (context) - Subrahmanian - 1989
5 Reasoning by Introspection (context) - Konolige - 1988
5 Meta-Level Programming: a Compiled Approach (context) - Bacha - 1987
5 Logic Control with Logic (context) - Pereira - 1984
5 What is a Meta-Variable in Prolog (context) - Barklund - 1989
4 Invited presentation at Second Workshop on Meta-Programming .. (context) - Kowalski - 1990
4 Hierarchical Representation of Legal Knowledge with Metaprog.. (context) - Barklund, Hamfelt - 1994
4 Second Workshop on Meta-Programming in Logic (context) - Bruynooghe - 1990
4 Meta-Language in Logic Programming (context) - Eshghi - 1986
4 Meta-Programming in Logic (context) - Pettorossi - 1992
4 The Problem of Interpreting Modal Logic (context) - Quine - 1947
4 A Partial Evaluator of LISP Written in Prolog (context) - Kahn - 1983
3 Metalevels in Legal Knowledge and their Runnable Representat.. (context) - Hamfelt, Barklund - 1989
3 the Semantics of Real Metalogic Programming---a Preliminary .. (context) - Jiang - 1993
3 eme de Communication Homme-Machine en Fran¸cais, Technical r.. (context) - Colmerauer, Kanoui et al. - 1972
2 The Use of Metalanguage to Assemble Object Level Programs an.. (context) - Kowalski - 1982
2 Combinatory Logic Programming (context) - Nilsson - 1990
2 A Point of Self-Reference (context) - Richards - 1974
2 Logical Levels of Problem Solving (context) - Sterling - 1984
2 Implicit Definition of Logic Programs (context) - Kwok, Sergot - 1988
1 Formalizing Multiple Interpretations of Law as Metalogic Pro.. (context) - Barklund, Hamfelt - 1993
1 Mathematical Logic (context) - Schonfield - 1967
1 Declaratively Programmable Interpreters and Meta-Level Infer.. (context) - Welham - 1988
1 Meta-Level Inference in Algebra (context) - Bundy, Sterling - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csd.uu.se/papers/long-reports.html): More
Providing Iteration and Concurrency in Logic Programs.. - Barklund, Millroth (1994) (Correct)
Hash Tables in Logic Programming - Barklund, Millroth (1987) (Correct)
The Impact of Structure Analysis on Prolog Compilation - Lindgren (1996) (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