Pattern matches in HOL: A new representation and improved code generation
Paper i proceeding, 2015
Författare
Thomas Tuerk
Magnus Myreen
Chalmers, Data- och informationsteknik, Programvaruteknik
R. Kumar
University of Cambridge
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9236 453-468978-3-319-22101-4 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-319-22102-1_30
ISBN
978-3-319-22101-4