Tag #action semantics
12 papers:
CAiSE-2009-PlanasCG #behaviour #modelling #semantics #specification #uml #verification- Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
ECMDA-FA-2008-WaheedIM #analysis #data flow #execution #modelling #semantics #uml- Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
SAC-2006-PaigeKP #semantics- An action semantics for MOF 2.0 (RFP, DSK, FP), pp. 1304–1305.
LDTA-2002-Mosses #asf+sdf #semantics- Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
CAiSE-2001-SunyePHGJ #execution #modelling #semantics #uml #using- Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.
UML-2001-AlvarezCES #semantics- An Action Semantics for MML (JMÁ, TC, AE, PS), pp. 2–18.
LDTA-2001-MenezesMCLR #development #ide #semantics- An Action Semantics Integrated Development Environment (LCdSM, HPdM, WC, FL, LR), pp. 157–160.
FME-1994-MossesM #concurrent #ml #semantics- An Action Semantics for ML Concurrency Primitives (PDM, MM), pp. 461–479.
PLILP-1992-Moura #implementation #semantics- An Implementation of Action Semantics (HM), pp. 477–478.
CC-1992-BrownMW #compilation #generative #named #semantics- Actress: An Action Semantics Directed Compiler Generator (DFB, HM, DAW), pp. 95–109.
ESOP-1992-DohS #semantics #type system- Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.
ESOP-1990-EvenS #semantics #type inference- Type Inference for Action Semantics (SE, DAS), pp. 118–133.