Formal Aspects of Computing 13(3-5) July 2002 (2002) |
Formal Aspects of Computing
- Bidoit, Michel; Sannella, Donald; Tarlecki, Andrze (2002) Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej "Architectural Specifications in CASL" pp252-273
- MacQueen, David (2002) MacQueen, David "Should ML be Object-Oriented?" pp214-232
- Popplestone (2002) Popplestone, Robin "POP, A Broad-Spectrum Programming Language, 1967-2002" pp196-213
|
|
|