researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1988
1989
1992
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
Prolog
analysis
architecture
completeness
grammar
interpreter
logic
logic programming
meta programming
meta-model
meta-objects
partial evaluation
program analysis
program transformation
programming
semantics
source-to-source
transformation
Filter by Author
[+]
OR
AND
NOT
1
A. J. Craddock
Akira Ishikawa
Alan Smaill
Alex K. Simpson
Andreas Hamfelt
Andreas Herzig
Andrew Bowles
Annalisa Bossi
Antonio Brogi
Antonio Natali
Bern Martens
Brian J. Ross
Dale Miller
Danny De Schreye
David Chan
Dino Pedreschi
Fausto Giunchiglia
Frank van Harmelen
Maurice Bruynooghe
Patricia M. Hill
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
analysis
complete
databases
deduction
direct
evaluation
grammars
interpretation
june
level
logic
meta
metalogic
partial
programming
programs
prolog
semantics
transformation
META (meta)
Editions
Publications
Viewing Publication 1 - 54 from 54
1992
The Pandora Deadlock Handler Meta-Level Relation
Reem Bahgat
.
meta 1992
:
162-176
Object-Oriented Programming in Gödel: An Experiment
Kerima Benkerimi
,
Patricia M. Hill
.
meta 1992
:
177-191
Model Theoretic Semantics for Demo
Piero A. Bonatti
.
meta 1992
:
220-234
Transforming Normal Programs by Replacement
Annalisa Bossi
,
Nicoletta Cocco
,
Sandro Etalle
.
meta 1992
:
265-279
Meta for Modularising Logic Programming
Antonio Brogi
,
Paolo Mancarella
,
Dino Pedreschi
,
Franco Turini
.
meta 1992
:
105-119
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
Maurice Bruynooghe
,
Gerda Janssens
.
meta 1992
:
294-307
Logic Meta-Programming Facilities in LOG
Iliano Cervesato
,
Gianfranco Rossi
.
meta 1992
:
148-161
A Complete Resolution method for Logical Meta-Programming Languages
Henning Christiansen
.
meta 1992
:
205-219
Reflective Agents in Metalogic Programming
Stefania Costantini
,
Pierangelo Dell Acqua
,
Gaetano Aurelio Lanzarone
.
meta 1992
:
135-147
Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives
Saumya K. Debray
.
meta 1992
:
120-134
Metaprogramming Through Intensional Deduction: Some Examples
Luis Fariñas del Cerro
,
Andreas Herzig
.
meta 1992
:
11-25
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
Fausto Giunchiglia
,
Luciano Serafini
,
Alex K. Simpson
.
meta 1992
:
235-249
Metaprograms for Change Assumptions, Objects, and Inheritance
Jan Grabowski
.
meta 1992
:
336-351
Belief Revision: A Vade-Mecum
Peter Gärdenfors
.
meta 1992
:
1-10
Representation of Fragmentary Multilayered Knowledge
Andreas Hamfelt
,
Åke Hansson
.
meta 1992
:
321-335
An Introduction to Partial Deduction
Henryk Jan Komorowski
.
meta 1992
:
49-69
An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming
Kurt Konolige
.
meta 1992
:
26-48
CLP(Q) for Proving Interargument Relations
Frédéric Mesnard
,
Jean-Gabriel Ganascia
.
meta 1992
:
308-320
Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings
Alberto Pettorossi
, editor,
Volume 649 of
Lecture Notes in Computer Science
, Springer,
1992.
Tutorial on Termination of Logic Programs
Danny De Schreye
,
Kristof Verschaetse
.
meta 1992
:
70-88
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation
Danny De Schreye
,
Bern Martens
.
meta 1992
:
192-204
Meta-Programming for Reordering Literals in Deductive Databases
Jesper Larsson Träff
,
Steven David Prestwich
.
meta 1992
:
280-293
Definable Naming Relations in Meta-level Systems
Frank van Harmelen
.
meta 1992
:
89-104
Negation and Control on Automatically Generated Logic Programs
Geraint A. Wiggins
.
meta 1992
:
250-264
1989
Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988
Harvey Abramson
,
M. H. Rogers
, editors,
MIT Press,
1989.
1988
META
1988.
META
1988.
META
1988.
Semantically Constrained Parsing and Logic Programming
Seiki Akama
,
Akira Ishikawa
.
meta 1988
:
157-168
What Is a Meta-Variable in Prolog?
Jonas Barklund
.
meta 1988
:
383-398
Metalogic Programming and Direct Universal Computability
Howard A. Blair
.
meta 1988
:
53-63
Tracing Requirements for Multi-Layered Meta-Programming
Andrew Bowles
,
Paul Wilk
.
meta 1988
:
205-215
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques
Marco Cavalieri
,
Evelina Lamma
,
Paola Mello
,
Antonio Natali
.
meta 1988
:
399-415
A Treatment of Negation during Partial Evaluation
David Chan
,
Mark Wallace
.
meta 1988
:
299-317
Complete Sets of Frontiers in Logic-Based Program Transformation
Mantis H. M. Cheng
,
Maarten H. van Emden
,
Paul A. Strooper
.
meta 1988
:
283-297
Design and Implementation of An Abstract MetaProlog Engine for MetaProlog
Ilyas Cicekli
.
meta 1988
:
417-433
Using Safe Approximations of Fixed Points for Analysis of Logic Programs
Michael Codish
,
John P. Gallagher
,
Ehud Y. Shapiro
.
meta 1988
:
233-261
Processing Techniques for Dsicontinuous Grammars
Verónica Dahl
,
Pierre Massicotte
.
meta 1988
:
141-156
Algorithmic Debugging with Assertions
Wlodzimierz Drabent
,
Simin Nadjm-Tehrani
,
Jan Maluszynski
.
meta 1988
:
501-521
Type Inference by Program Transformation and Partial Evaluation
Thom W. Frühwirth
.
meta 1988
:
263-282
Reflection in Constructive and Non-constructive Automated Reasoning
Fausto Giunchiglia
,
Alan Smaill
.
meta 1988
:
123-140
A Meta-Logic for Functional Programming
John Hannan
,
Dale Miller
.
meta 1988
:
453-476
Analysis of Meta-Programs
Patricia M. Hill
,
John W. Lloyd
.
meta 1988
:
23-51
Meta Logic Programming for Epistemic Notions
Yue Jun Jiang
,
Nader Azarmi
.
meta 1988
:
477-499
Issues in the Partial Evaluation of Meta-Interpreters
Stephen Owen
.
meta 1988
:
319-339
The Partial Evaluation of Imperative Programs Using Prolog
Brian J. Ross
.
meta 1988
:
341-363
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming
Francesca Rossi
,
Ugo Montanari
.
meta 1988
:
531-544
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation
Danny De Schreye
,
Maurice Bruynooghe
.
meta 1988
:
217-231
Qu-Prolog: An Extended Prolog for Meta Level Programming
John Staples
,
Peter J. Robinson
,
R. A. Paterson
,
R. A. Hagen
,
A. J. Craddock
,
P. C. Wallis
.
meta 1988
:
435-452
A Simple Formulation of the Theory of Metalogic Programming
V. S. Subrahmanian
.
meta 1988
:
65-101
Prolog Meta-Programming with Soft Databases
Paul Tarau
,
Michel Boyer
.
meta 1988
:
365-381
A Classification of Meta-level Architectures
Frank van Harmelen
.
meta 1988
:
103-122
The Logical Reconstruction of Cuts as One Solution Operators
Paul J. Voda
.
meta 1988
:
523-530
An Integrated Interpreter for Explaining Prolog s Successes and Failures
L. Ümit Yalçinalp
,
Leon Sterling
.
meta 1988
:
191-203
Sign in
or
sign up
to see more results.