A transformation-based synthesis of temporal specifications Philippe Noël OriginalPaper Pages: 587 - 619
On simulation, subtyping and substitutability in sequential object systems Ian Maung OriginalPaper Pages: 620 - 651
Data refinement, call by value and higher order programs David A. Naumann OriginalPaper Pages: 652 - 662
Parallelization of divide-and-conquer in the Bird-Meertens formalism Sergei GorlatchChristian Lengauer OriginalPaper Pages: 663 - 682
A theory of Orwellian specifications with NewThink Paul MukherjeeVictoria Stavridou OriginalPaper Pages: 704 - 727