Pattern matches in HOL: A new representation and improved code generation
Paper in proceeding, 2015
Author
Thomas Tuerk
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
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)
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-22102-1_30
ISBN
978-3-319-22101-4