John W. Backus
1959
The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference
Proc. Int. Conf. Information Processing
UNESCO
125–132
H. J. S. Basten
J. van den Bos
M. A. Hills
P. Klint
A. W. Lankamp
B. Lisser
A. J. van der Ploeg
T. van der Storm
J. J. Vinju
2015
Modular Language Implementation in Rascal – Experience Report
Science of Computer Programming
114
7–19
10.1016/j.scico.2015.11.003
Fabricio Chalub
Christiano Braga
2007
Maude MSOS Tool
Proc. Int. Work. Rewriting Logic and its Applications
Electronic Notes in Theoretical Computer Science
176
Elsevier Science Publishers B. V.
133–146
10.1016/j.entcs.2007.06.012
Alistair Cockburn
2007
Agile Software Development: The Cooperative Game
2nd
Pearson Education
Olivier Dubuisson
2000
ASN.1 – Communication between Heterogeneous Systems
OSS Nokalva
http://www.oss.com/asn1/dubuisson.html
Translated from French by Philippe Fouquart
Matthias Felleisen
Robert Bruce Findler
Matthew Flatt
2009
Semantics Engineering with PLT Redex
The MIT Press
Matthew Flatt
PLT
2010
Reference: Racket
PLT-TR
2010-1
PLT Design Inc.
https://racket-lang.org/tr1/
Jean van Heijenoort
2002
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Peano (1889). The principles of arithmetic, presented by a new method
Source Books in the History of the Sciences
Harvard University Press
A translation and excerpt of Peano's 1889 paper "Arithmetices principia, nova methodo exposita"
Jean-Marc Jézéquel
Olivier Barais
Franck Fleurey
2011
Summer School on Generative and Transformational Techniques in Software Engineering
Model Driven Language Engineering with Kermeta
201–221
Lecture Notes in Computer Science
6491
Springer Berlin Heidelberg
10.1007/978-3-642-18023-1_5
Jean-Marc Jézéquel
Benoit Combemale
Olivier Barais
Martin Monperrus
François Fouquet
2013
Mashup of metalanguages and its implementation in the Kermeta language workbench
Software & Systems Modeling
14
2
905–920
10.1007/s10270-013-0354-4
Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 6, Telecommunications and information exchange between systems
2015
Information technology – Abstract Syntax Notation One (ASN.1): Specification of basic notation
International Standard
8824-1
ISO/IEC
ISO/IEC version of ITU-T X.680 (08/2015)
JSR-133 expert group
2004
JSR-133 JavaMemory Model and Thread Specification Revision
Java Specification Request (JSR)
133
Sun Microsystems, Inc.
https://jcp.org/en/jsr/detail?id=133
Casey Klein
John Clements
Christos Dimoulas
Carl Eastlund
Matthias Felleisen
Matthew Flatt
Jay A. McCarthy
Jon Rafkind
Sam Tobin-Hochstadt
Robert Bruce Findler
2012
Run Your Research: On the Effectiveness of Lightweight Mechanization
Proc. Symp. Principles of Programming Languages
SIGPLAN Not.
47
ACM
New York, NY, USA
285–296
10.1145/2103656.2103691
P. Klint
2009
Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment
Y. Bertot
G. Huet
J.-J. Levy
G. Plotkin
From Semantics to Computer Science, Essays in Honour of Gilles Kahn
Cambridge University Press
235–264
10.1017/CBO9780511770524.012
P. Klint
J. J. Vinju
M. A. Hills
2011
RLSRunner: Linking Rascal with K for Program Analysis
Proc. Int. Conf. Software Language Engineering
Springer
10.1007/978-3-642-28830-2_19
Paul Klint
Tijs van der Storm
Jurgen Vinju
2009
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
Proc. Int. Working Conf. Source Code Analysis and Manipulation
IEEE Computer Society
168–177
10.1109/SCAM.2009.28
Donald E. Knuth
1964
Backus Normal Form vs. Backus Naur Form
Commun. ACM
7
12
735–736
10.1145/355588.365140
Gurvan Le Guernic
José A. Galindo
2016
Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Research report
8967
Inria
https://hal.inria.fr/hal-01385541v1
Dominic P. Mulligan
Scott Owens
Kathryn E. Gray
Tom Ridge
Peter Sewell
2014
Lem: Reusable Engineering of Real-world Semantics
Proc. Int. Conf. Functional Programming
SIGPLAN Not.
49
ACM
175–188
10.1145/2692915.2628143
Grigore Roşu
Traian Florin Şerbănuţă
2010
An Overview of the K Semantic Framework
The Journal of Logic and Algebraic Programming
79
6
397–434
10.1016/j.jlap.2010.03.012
Grigore Ro\begingroupłet [Pleaseinsert\PrerenderUnicodeşintopreamble]u
Traian Florin \begingroupłet [Pleaseinsert\PrerenderUnicodeŞintopreamble]erb\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]nu\begingroupłet [Pleaseinsert\PrerenderUnicodeţintopreamble]\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]
2014
K Overview and SIMPLE Case Study
Proc. Int. Work. K Framework and its Applications (K 2011)
Electronic Notes in Theoretical Computer Science
304
3–56
10.1016/j.entcs.2014.05.002
David A. Schmidt
1996
Programming Language Semantics
ACM Computing Surveys
28
1
10.1145/234313.234419
Peter Sewell
Francesco Zappa Nardelli
Scott Owens
Gilles Peskine
Thomas Ridge
Susmit Sarkar
Rok Strniša
2010
Ott: Effective Tool Support for the Working Semanticist
J. Functional Programming
20
1
71–122
10.1017/S0956796809990293
Cathleen Shamieh
2014
Continuous Engineering For Dummies
IBM Limited Edition
John Wiley & Sons, Inc
T. van der Storm
J. J. Vinju
2008
Using the Meta-Environment for Domain Specific Language Engineering
Technical Report
SEN-R0805
CWI Software Engineering
Traian Florin \begingroupłet [Pleaseinsert\PrerenderUnicodeŞintopreamble]erb\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]nu\begingroupłet [Pleaseinsert\PrerenderUnicodeţintopreamble]\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]
Andrei Arusoaie
David Lazar
Chucky Ellison
Dorel Lucanu
Grigore Ro\begingroupłet [Pleaseinsert\PrerenderUnicodeşintopreamble]u
2014
The K Primer (version 3.3)
Electronic Notes in Theoretical Computer Science
304
57–80
10.1016/j.entcs.2014.05.003
Proc. Int. Work. K Framework and its Applications (K 2011)