Locating Type Errors in Untyped CLP Programs
Author(s) -
Włodzimierz Drabent,
Jan Małuszyński,
Paweł Pietrzak
Publication year - 2000
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-41137-2
DOI - 10.1007/10722311_5
Subject(s) - computer science , programming language , compiler , prefix , specification language , formal specification , fragment (logic) , software engineering , philosophy , linguistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom