6201 search results - page 339 / 1241 » Implementation of Axiomatic Language |
169
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
154
click to vote
ICGI
1994
Springer
15 years 11 months ago
1994
Springer
: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic,...
171
click to vote
FP
1992
15 years 11 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
194
click to vote
SOSL
1993
15 years 11 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
205
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...