BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer