5451 search results - page 86 / 1091 » Typed Operational Semantics |
114
Voted
FOSSACS
2006
Springer
15 years 6 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...
111
Voted
CADE
2006
Springer
16 years 2 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...
102
Voted
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...
130
click to vote
FCT
2005
Springer
15 years 8 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...
129
Voted
JOT
2007
15 years 2 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...