researchr - search publication denotational semantics

researchr

You are not signed in
Sign in
Sign up

315 publication results matching 'denotational semantics'

Denotational SemanticsPeter D. Mosses. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 575-631, 1990.
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
… develop a denotational semantics for a typed core language of Curry. Dealing … languages, we aim for a semantics in the spirit of standard denotational semantics …. A particularly interesting aspect, we think, is that we give the first denotational …
Jan Christiansen, Daniel Seidel, Janis Voigtländer. wflp 2011: 119-136 [doi]
A Denotational Semantics for PrologTim Nicholson, Norman Y. Foo. TOPLAS, 11(4):650-665, 1989. [doi]
Towards a Denotational Semantics for TimeMLGraham Katz. Dagstuhl 2007: 88-106 [doi]
Exercises in Denotational SemanticsKrzysztof R. Apt, J. W. de Bakker. mfcs 1976: 1-11
Processes and the Denotational Semantics of ConcurrencyJ. W. de Bakker, Jeffery I. Zucker. iandc, 54(1/2):70-120, July/August 1982.
Denotational Semantics for occamA. W. Roscoe. concur 1985: 306-329
Denotational Semantics of ParallelismJerald S. Schwartz. scc 1979: 191-202
Denotational Semantics of CSPNeelam Soundararajan. TCS, 33:279-304, 1984.
Denotational Semantics for JSDWink Lok Yeung. apsec 1997: 72 [doi]
Denotational Semantics for Timed TestingLuis Fernando Llana Díaz, David de Frutos-Escrig. arts 1997: 368-382
Logical Aspects of Denotational SemanticsEdmund Robinson. ctcs 1987: 238-253
A denotational semantics for stateflowGrégoire Hamon. emsoft 2005: 164-172 [doi]
Modularity in denotational semanticsJohn Power. ENTCS, 6:293-307, 1997. [doi]
Denotational Semantics of ConcurrencyJ. W. de Bakker, Jeffery I. Zucker. stoc 1982: 153-158
Compiler generation and denotational semanticsMartin R. Raskovsky, Raymond Turner. fct 1979: 382-386
A denotational Semantics for Administrative DatabasesRonald M. Lee. ds 1985: 83-120
Denotational Semantics of Nets with NondeterminismJoost N. Kok. ESOP 1986: 237-249
CPP denotational semanticsFavre, J.-M.. In Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on. 2003:
Denotational Semantics and RefinementS. Riddle, P. Wallis. iwfm 1997:

Sign in or sign up to see more results.

runs on WebDSL