Scalable Program Analysis and topics in Programming Language Design and Transformation
Doctoral thesis, 2007
Author
Josef Svenningsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
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 in 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 in 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 in proceeding
A usage analysis with bounded usage polymorphism and subtyping
Implementation of Functional Languages 2000,;(2000)
Paper in proceeding
Regular Expression Patterns
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,;(2004)p. 67 - 78
Paper in proceeding
Subject Categories
Computer Science
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