2776 search results - page 70 / 556 » System-Level Abstraction Semantics |
130
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
103
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
118
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
120
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
113
Voted
ECTEL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...