Agile Software Development: The Cooperative Game ,
ASN.1 Communication between Heterogeneous Systems, OSS Nokalva, 2000. ,
Semantics Engineering with PLT Redex, 2009. ,
From Frege to Gödel: A Source Book in Mathematical Logic, 1879- 1931, chap. Peano (1889) The principles of arithmetic, presented by a new method. Source Books in the History of the Sciences), a translation and excerpt of Peano's 1889 paperArithmetices principia, nova methodo exposita, 2002. ,
Summer School on Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science, vol.6491, p.chap ,
Mashup of metalanguages and its implementation in the Kermeta language workbench, Software & Systems Modeling, vol.14, issue.2, p.905920, 2013. ,
Run Your Research: On the Eectiveness of Lightweight Mechanization, Proc. Symp. Principles of Programming Languages ,
From Centaur to the Meta-Environment: a tribute to a great meta-technologist ,
DOI : 10.1017/CBO9780511770524.012
RLSRunner: Linking Rascal with K for Program Analysis, Proc. Int. Conf. Software Language Engineering, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00644695
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, p.168177, 2009. ,
DOI : 10.1109/SCAM.2009.28
backus normal form vs. Backus Naur form, Communications of the ACM, vol.7, issue.12, p.735736, 1964. ,
DOI : 10.1145/355588.365140
Lem: Reusable Engineering of Real-world Semantics, Proc. Int. Conf. Functional Programming. SIGPLAN Not, p.175188, 2014. ,
An Overview of the K Semantic Framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, p.397434, 2010. ,
K Overview and SIMPLE Case Study, Proc. Int. Work. K Framework and its Applications, p.356, 2011. ,
Programming language semantics, ACM Computing Surveys, vol.28, issue.1, 1996. ,
DOI : 10.1145/234313.234419
Ott: Effective tool support for the working semanticist, Journal of Functional Programming, vol.8, issue.01, pp.71-122, 2010. ,
DOI : 10.1007/BFb0035382
Continuous Engineering For Dummies ® . IBM Limited Edition, 2014. ,
Using the Meta-Environment for Domain Specic Language Engineering, Tech. Rep. SEN-R0805, CWI Software Engineering, 2008. ,
The K Primer (version 3.3), proc, p.5780, 2014. ,
Stmt 49 endmodule 51 module GPFPL 53 imports GPFPL -SYNTAX 55 configuration 57 < prg color =" stmtColor " > $PGM :K </ prg > < automataKindDefs color =" automataColor " > 59 < automataKindDef color =" automataColor " multiplicity = "*" > < automataKind color =" automataColor " > .: String </ automataKind > 61 < initialState color ,
</k > 271 < nextInterrupts > IntL ,
</ vars > 293 rule <k > set ( X: Id , V: ExpVal ), 289 rule <k > set 295 <vars > Rho : Map (. Map => X | -> .) </ vars > when notBool ,