5451 search results - page 86 / 1091 » Typed Operational Semantics |
118
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
115
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
109
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
137
click to vote
FCT
2005
Springer
15 years 9 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
135
click to vote
JOT
2007
15 years 3 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...