EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986-1993. The first version of CAST.FSM was i...
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...