Natural Semantics-Directed Generation of Compilers and Abstract Machines Stephan Diehl Original Paper Pages: 71 - 99
ADL: An Activity Description Language for Real-Time Networks Stephen PaynterJim ArmstrongJan Haveman Original Paper Pages: 120 - 144