Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Andrew Bowles

Original record
Institution
The University of Edinburgh
Year
1992
Country
United Kingdom
MGP identifier
102664

Dissertation: Detecting Prolog Programming Techniques Using Abstract Interpretation

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy