Hiralal Agrawal & Joseph R. Horgan (1990):
Dynamic Program Slicing.
In: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation,
PLDI '90.
Association for Computing Machinery,
New York, NY, USA,
pp. 246–256,
doi:10.1145/93542.93576.
Jos C. M. Baeten & Jan A. Bergstra (2000):
Mode transfer in process algebra.
Computing Science Reports 00-01.
Technische Universiteit Eindhoven.
Jan A. Bergstra & Jan W. Klop (1984):
Process Algebra for Synchronous Communication.
Information and Control 60(1-3),
pp. 109–137,
doi:10.1016/S0019-9958(84)80025-X.
Ian Cassar, Adrian Francalanza, Luca Aceto & Anna Ingólfsdóttir (2017):
A Survey of Runtime Monitoring Instrumentation Techniques.
In: Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017,
pp. 15–28,
doi:10.4204/EPTCS.254.2.
Matteo Cimini (2021):
A Calculus for Multi-language Operational Semantics.
In: Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers,
pp. 25–42,
doi:10.1007/978-3-030-95561-8_3.
Sebastian Erdweg, Tijs Storm, Markus Völter, Meinte Boersma, Remi Bosman, WilliamR. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, PedroJ. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin Vlist, Guido H. Wachsmuth & Jimi Woning (2013):
The State of the Art in Language Workbenches.
In: Martin Erwig, Richard F. Paige & Eric Wyk: Software Language Engineering,
Lecture Notes in Computer Science 8225.
Springer,
pp. 197–217,
doi:10.1007/978-3-319-02654-1_11.
Matthias Felleisen, Robert Bruce Findler & Matthew Flatt (2009):
Semantics Engineering with PLT Redex,
1st edition.
The MIT Press.
C.A.R. Hoare (1985):
Communicating Sequential Processes.
Prentice-Hall International Series in Computer Science.
Prentice Hall.
Available at http://www.usingcsp.com/cspbook.pdf.
ISO/IEC (1989):
LOTOS — a formal description technique based on the temporal ordering of observational behaviour.
ISO IS 8807,
doi:10.3403/00230466U.
Jacob Matthews & Robert Bruce Findler (2007):
Operational Semantics for Multi-Language Programs.
In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '07.
Association for Computing Machinery,
New York, NY, USA,
pp. 310,
doi:10.1145/1190216.1190220.
Dale Miller & Gopalan Nadathur (2012):
Programming with Higher-Order Logic,
1st edition.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9781139021326.
Robin Milner, Joachim Parrow & David Walker (1992):
A calculus of mobile processes, I.
Information and Computation 100(1),
pp. 1–40,
doi:10.1016/0890-5401(92)90008-4.
Robin Milner, Joachim Parrow & David Walker (1992):
A calculus of mobile processes, II.
Information and Computation 100(1),
pp. 41–77,
doi:10.1016/0890-5401(92)90009-5.
Peter D. Mosses (2008):
Component-Based Description of Programming Languages.
In: Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008,
pp. 275–286,
doi:10.14236/ewic/VOCS2008.23.
Daniel Patterson & Amal Ahmed (2017):
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.
In: Benjamin S. Lerner, Rastislav Bodík & Shriram Krishnamurthi: 2nd Summit on Advances in Programming Languages (SNAPL 2017),
Leibniz International Proceedings in Informatics (LIPIcs) 71.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 12:1–12:15,
doi:10.4230/LIPIcs.SNAPL.2017.12.
Daniel Patterson, Jamie Perconti, Christos Dimoulas & Amal Ahmed (2017):
FunTAL: Reasonably Mixing a Functional Language with Assembly.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
PLDI 2017.
Association for Computing Machinery,
New York, NY, USA,
pp. 495–509,
doi:10.1145/3062341.3062347.
Frank Pfenning & Carsten Schürmann (1999):
System Description: Twelf - A Meta-Logical Framework for Deductive Systems.
In: Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction,
CADE-16.
Springer-Verlag,
Berlin, Heidelberg,
pp. 202–206,
doi:10.1007/3-540-48660-7_14.
Grigore Rosu & Traian F. Şerbănuţă (2010):
An overview of the K semantic framework.
The Journal of Logic and Algebraic Programming 79(6),
pp. 397–434,
doi:10.1016/j.jlap.2010.03.012.
Gabriel Scherer, Max S. New, Nick Rioux & Amal Ahmed (2018):
Fabulous Interoperability for ML and a Linear Language.
In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings,
pp. 146–162,
doi:10.1007/978-3-319-89366-2_8.
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar & Rok Strniša (2007):
Ott: Effective Tool Support for the Working Semanticist.
In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming,
ICFP '07.
ACM,
New York, NY, USA,
pp. 1–12,
doi:10.1145/1291151.1291155.
eptcs@eptcs.org