Scalable Program Analysis and topics in Programming Language Design and Transformation
Doktorsavhandling, 2007
Författare
Josef Svenningsson
Chalmers, Data- och informationsteknik, Datavetenskap
Constraint Abstractions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. LNCS(2001)p. 63-83
Paper i proceeding
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
The Fourth ASIAN Symposium on Programming Languages and Systems,;Vol. LNCS(2006)p. 200-216
Paper i proceeding
Shortcut fusion for accumulating parameters & zip-like functions
SIGPLAN Notices (ACM Special Interest Group on Programming Languages),;Vol. 37(2002)p. 124-132
Paper i proceeding
A usage analysis with bounded usage polymorphism and subtyping
Implementation of Functional Languages 2000,;(2000)
Paper i proceeding
Regular Expression Patterns
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,;(2004)p. 67 - 78
Paper i proceeding
Ämneskategorier
Datavetenskap (datalogi)
ISBN
978-91-7291-899-3
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2580
Technical report D - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 26D
10.15 Lecture room EC, ED&IT-building, Hörsalsvägen 11, Göteborg
Opponent: Professor Jakob Rehof, Department of Computer Science, University of Dortmund, Germany