Abstract Interpretations and Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs
Häftad bok. Linköping university. 1992. 167 sidor.
Mycket gott skick. Avhandling. Abstract-lapp följer med.
Förlagsfakta
- ISBN
- 9178708583
- Titel
- Abstract interpretations & abstract machines
- Författare
- Nilsson, Ulf
- Förlag
- Linköping : Univ
- Utgivningsår
- 1992
- Språk
- English