6201 search results - page 170 / 1241 » Implementation of Axiomatic Language |
175
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
119
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
172
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
155
click to vote
ICTL
1994
15 years 8 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
122
click to vote
IMPERIAL
1994
15 years 8 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...