Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types

Author: Joseph Scott
School: Uppsala University
Supervisors: Pierre FlenerJustin PearsonParosh Abdulla
Graduated: March 14, 2016
Link to full text: http://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Auu%3Adiva-273311