217 search results - page 6 / 44 » Towards a Mathematical Operational Semantics |
121
click to vote
COLING
1996
15 years 3 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
184
Voted
NADA
1998
Springer
15 years 6 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
99
Voted
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
146
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
111
click to vote
ENTCS
2000
15 years 1 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...