11 search results - page 1 / 3 » fmco 2004 |
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...