researchr - search publication action semantics

researchr

You are not signed in
Sign in
Sign up

176 publication results matching ' action semantics'

Action SemanticsPeter D. Mosses. adt 1986:
A Modular Monadic Action SemanticsKeith Wansbrough, John Hamer. DSL 1997: [doi]
An Action Semantics of Standard MLDavid A. Watt. mfps 1988: 572-598
An Implementation of Action Semantics (Summaray)Hermano Moura. plilp 1992: 477-478
Visualizing Action SemanticsKen Slonneger. acm 1995: 81-88 [doi]
Action Semantics in RetrospectDavid A. Watt. BIRTHDAY 2009: 4-20 [doi]
Action Semantics-Directed PrototypingKyung-Goo Doh, David A. Schmidt. Comp. Lang., Syst. \& Struct., 19(4):213-233, 1993.
Unified Algebras and Action SemanticsPeter D. Mosses. STACS 1989: 17-35
Theory and Practice of Action SemanticsPeter D. Mosses. mfcs 1996: 37-61
Constructive Action Semantics in OBJPeter D. Mosses. BIRTHDAY 2006: 281-295 [doi]
An Action Semantics for MMLJosé M. Álvarez, Tony Clark, Andy Evans, Paul Sammut. uml 2001: 2-18 [doi]
An action semantics for MOF 2.0Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. SAC 2006: 1304-1305 [doi]
Type Inference for Action SemanticsSusan Even, David A. Schmidt. ESOP 1990: 118-133
Sort inference in action semanticsDeryck Forsyth Brown. PhD thesis, University of Glasgow, UK, 1996. [doi]
The use of action semanticsPeter D. Mosses, David A. Watt. ifip2 1987: 135-166
Aspect-Oriented Action Semantics DescriptionsLuis Carlos de Sousa Menezes. ENTCS, 205:123-135, 2008. [doi]
Preferential Action Semantics (Preliminary Report)John-Jules Ch. Meyer, Patrick Doherty. modelage 1999: 187-201 [doi]
An Action Semantics for ML Concurrency PrimitivesPeter D. Mosses, Martín Musicante. FM 1994: 461-479
An Action Semantics Based on Two CombinatorsKyung-Goo Doh, David A. Schmidt. BIRTHDAY 2009: 274-296 [doi]
On the Action Semantics of Concurrent Programming LanguagesPeter D. Mosses. rex 1993: 398-424

Sign in or sign up to see more results.

runs on WebDSL