Denotational Semantics for a Probabilistic Timed Shared-Variable Language

2013 ◽  
pp. 224-247 ◽  
Author(s):  
Huibiao Zhu ◽  
Jeff W. Sanders ◽  
Jifeng He ◽  
Shengchao Qin
Keyword(s):  
Denotational Semantics ◽  
Shared Variable

Experience with an experimental compiler generator based on denotational semantics

1982 ◽  
Vol 17 (6) ◽  
pp. 216-229 ◽  
Author(s):  
James Bodwin ◽  
Laurette Bradley ◽  
Kohji Kanda ◽  
Diane Litle ◽  
Uwe Pleban
Keyword(s):  
Denotational Semantics

scholarly journals CONFLICTS AND FAIR TESTING

2006 ◽  
Vol 17 (04) ◽  
pp. 797-813 ◽  
Author(s):  
ROBI MALIK ◽  
DAVID STREADER ◽  
STEVE REEVES
Keyword(s):  
Discrete Event Systems ◽  
Process Algebra ◽  
Discrete Event ◽  
Denotational Semantics ◽  
Point Of View ◽  
Algebraic Point ◽  
Event Systems ◽  
Common Task ◽  
Testing Theory ◽  
Process Algebraic

This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called the conflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems.

scholarly journals Small-step and big-step semantics for call-by-need

2009 ◽  
Vol 19 (6) ◽  
pp. 699-722 ◽  
Author(s):  
KEIKO NAKATA ◽  
MASAHITO HASEGAWA
Keyword(s):  
Denotational Semantics ◽  
Small Step

AbstractWe present natural semantics for acyclic as well as cyclic call-by-need lambda calculi, which are proved equivalent to the reduction semantics given by Ariola and Felleisen (J. Funct. Program., vol. 7, no. 3, 1997). The natural semantics are big-step and use global heaps, where evaluation is suspended and memorized. The reduction semantics are small-step, and evaluation is suspended and memorized locally in let-bindings. Thus two styles of formalization describe the call-by-need strategy from different angles. The natural semantics for the acyclic calculus is revised from the previous presentation by Maraist et al. (J. Funct. Program., vol. 8, no. 3, 1998), and its adequacy is ascribed to its correspondence with the reduction semantics, which has been proved equivalent to call-by-name by Ariola and Felleisen. The natural semantics for the cyclic calculus is inspired by that of Launchbury (1993) and Sestoft (1997), and we state its adequacy using a denotational semantics in the style of Launchbury; adequacy of the reduction semantics for the cyclic calculus is in turn ascribed to its correspondence with the natural semantics.

scholarly journals On phase semantics and denotational semantics: the exponentials

2001 ◽  
Vol 109 (3) ◽  
pp. 205-241 ◽  
Author(s):  
Antonio Bucciarelli ◽  
Thomas Ehrhard
Keyword(s):  
Denotational Semantics ◽  
Phase Semantics

scholarly journals Trace types and denotational semantics for sound programmable inference in probabilistic languages

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-32 ◽  
Author(s):  
Alexander K. Lew ◽  
Marco F. Cusumano-Towner ◽  
Benjamin Sherman ◽  
Michael Carbin ◽  
Vikash K. Mansinghka
Keyword(s):  
Denotational Semantics ◽  
Probabilistic Languages
Sign in / Sign up

Export Citation Format

Share Document