3 search results - page 1 / 1 » The Differential Fixpoint Operator with Subsumption |
DOOD
1993
Springer
13 years 10 months ago
1993
Springer
LFP
1990
13 years 7 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
ESOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...