(logisch) programmeren, informatica en software engineering

Project: Research project

Project Details

Status	Finished
Effective start/end date	1/12/98 → 1/12/99

Empirical Semantics for Object-Oriented Programs
Bergstra, J. A. & Loots, M. E., 1999, Utrecht: Onderwijsinstituut CKI UU. 155 p. (Artificial Intelligence Preprints Series; no. 007)
Research output: Book/Report › Report
Program Algebra for Flow Charts
Bergstra, J. A. & Loots, M. E., 1999, Tilburg: Faculteit der Wijsbegeerte. 23 p. (Preprints in Philosophy; vol. 6)
Research output: Book/Report › Report
Programs, Interfaces and Components
Bergstra, J. A. & Loots, M. E., 1999, Utrecht: Onderwijsinstituut CKI UU. 115 p. (Artificial Intelligence Preprints Series; no. 007)
Research output: Book/Report › Report