9 papers:
SAS-1997-EmelianovB #semantics- Semantic Analyzer of Modula-Programs (PGE, DEB), pp. 361–363.
PLDI-1995-Fernandez #effectiveness #optimisation #source code- Simple and Effective Link-Time Optimization of Modula-3 Programs (MFF), pp. 103–115.
- PLDI-1992-WortmanJ #compilation #concurrent
- A Concurrent Compiler for Modula-2+ (DBW, MDJ), pp. 68–81.
TOOLS-USA-1992-Harbison #object-oriented #programming- Object-Oriented Programming in Modula-3 (SPH), p. 261.
POPL-1989-CardelliDJKN #type system- The Modula-3 Type System (LC, JED, MJJ, BK, GN), pp. 202–212.
VDME-1988-AndrewsGLP #interpreter- The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.
CSL-1987-GurevichM #algebra #semantics- Algebraic Operational Semantics and Modula-2 (YG, JMM), pp. 81–101.
- SCC-1984-Powell #compilation #optimisation
- A portable optimizing compiler for Modula-2 (MLP), pp. 310–319.
ICSE-1984-DeMarcoS #data flow #modula #named- SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.
