Definitional program separation
Licentiate thesis, 1996
definitional programming
algorithmic form
algorithmic content
higher order programming
definitions
program separation
Author
Göran Falkman
Department of Computer Science
Subject Categories
Computer and Information Science
ISBN
91-7197-317-6