7 search results - page 1 / 2 » meta 1992 |
112
Voted
META
1992
15 years 5 months ago
1992
The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation ...
131
Voted
META
1992
15 years 5 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
142
Voted
CADE
1992
Springer
15 years 5 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
136
Voted
ER
1992
Springer
15 years 5 months ago
1992
Springer
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
155
Voted
META
1992
15 years 5 months ago
1992
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...