Publications

2008

Danvy, O., Johannsen, J., 2008, "Inter-deriving Semantic Artifacts for Object-Oriented Programming", Lecture Notes in Computer Science. Conference article
Danvy, O., Millikin, K., 2008, "A Rational Deconstruction of Landin's SECD Machine with the J Operator", Logical Methods in Computer Science. Journal article
Danvy, O., 2008, "Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines", Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. Article in proceedings
Møller, A., 2008, "Static Analysis for Event-Based XML Processing", PLAN-X: Programming Language Technologies for XML. Article in proceedings
Danvy, O., Mason, I., 2008, "Higher-Order and Symbolic Computation", Higher-Order and Symbolic Computation. Editorial
Danvy, O., Dybvig, R. K., Lawall, J., Thiemann, P., 2008, "Higher-Order and Symbolic Computation. LISP and Symbolic Computationditorial.", Higher-Order and Symbolic Computation. Editorial
Danvy, O., 2008, "Defunctionalized Interpreters for Programming Languages", A C M / S I G P L A N Notices. Conference article
Danvy, O., Millikin, K., 2008, "On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion", Information Processing Letters. Journal article
Bergmans, L., Gybels, K., Ernst, E., 2008, "Special Issue: Software-engineering, Properites of Language and Aspect Technologies", Journal of Object Technology. Editorial
Biernacka, M., Danvy, O., 2008, "Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines", Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. Article in proceedings
Brabrand, C., Møller, A., Schwartzbach, M. I., 2008, "Dual Syntax for XML Languages", Information Systems. Journal article
Ernst, E., 2008, "First-Class Object Sets". Working paper
Cameron, N. R., Drossopoulou, S., Ernst, E., 2008, "A Model for Java with Wildcards", Lecture Notes in Computer Science. Conference article
Nielsen, A. B., Ernst, E., 2008, "Optimizing Dynamic Class Composition in a Statically Typed Language", Objects, Components, Models and Patterns. Article in proceedings
Danvy, O., Henglein, F., Mairson, H., Pettorossi, A., 2008, "Automatic Program Development". Anthology

2007

Møller, A., Schwartzbach, M. I., 2007, "XML Graphs in Program Analysis", Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Article in proceedings
Ungar, D., Ernst, E., 2007, "Point/Counterpoint", I E E E Software. Journal article
Ernst, E., 2007, "Primitive Associations", Proceedings of the International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO), in conjunction with ECOOP 2007. Article in proceedings
Biernacka, M., Danvy, O., 2007, "A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines", Theoretical Computer Science. Journal article
Danvy, O., O'Hearn, P., Wadler, P., 2007, "Preface", Theoretical Computer Science. Editorial
Cameron, N., Drossopoulou, S., Ernst, E., 2007, "Towards an Existential Types Model for Java with Wildcards", Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007. Article in proceedings
Biernacka, M., Danvy, O., 2007, "A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines", Theoretical Computer Science. Journal article
Danvy, O., Millikin, K., 2007, "Refunctionalization at Work", B R I C S Report Series. Journal article
Danvy, O., Millikin, K., 2007, "On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion", B R I C S Report Series. Journal article
Danvy, O., Spivey, M., 2007, "On Barron and Strachey's Cartesian Product Function", Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007. Article in proceedings
Danvy, O., Millikin, K., 2007, "A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines", B R I C S Report Series. Journal article
Biernacka, M., Danvy, O., 2007, "A Concrete Framework for Environment Machines", A C M Transactions on Computational Logic. Journal article
Brabrand, C., Giegerich, R., Møller, A., 2007, "Analyzing Ambiguity of Context-Free Grammars", Proc. 12th International Conference on Implementation and Application of Automata. Article in proceedings
Møller, A., Olesen, M. Ø., Schwartzbach, M. I., 2007, "Static Validation of XSL Transformations", A C M Transactions on Programming Languages and Systems. Journal article
Danvy, O., Millikin, K., 2007, "On One-Pass CPS Transformations", Journal of Functional Programming. Journal article
Danvy, O., Millikin, K., 2007, "A Rational Deconstruction of Landin's J Operator", Lecture Notes in Computer Science. Journal article
Ernst, E., 2007, "ECOOP 2007 - Object-Oriented Programming". Book
Danvy, O., O'Hearn, P., Wadler, P., 2007, "Festschrift for John C. Reynolds at the Occasion of his 70th Birthday". Book

2006

Danvy, O., O’Hearn, P., Wadler, P., 1.1.2006, "Preface, Festschrift for John C. Reynolds's 70th birthday", Theoretical Computer Science, Volume 375, Issues 1–3, . Preface/postscript
Ernst, E., 2006, "Family Genericity", Daimi Reports. Journal article
Danvy, O., Millikin, K., 2006, "A Rational Deconstruction of Landin's J Operator", B R I C S Report Series. Journal article
Brabrand, C., Giegerich, R., Møller, A., 2006, "Analyzing Ambiguity of Context-Free Grammars", B R I C S Report Series. Journal article
Danvy, O., 2006, "Interview in popular science program at the Estonian National Radio". Other contribution
Ernst, E., Ostermann, K., Cook, W. R., 2006, "A Virtual Class Calculus", Proceedings of Conference Record of POPL 2006. Article in proceedings
Ager, M. S., Danvy, O., Rohde, H. K., 2006, "Fast Partial Evaluation of Pattern Matching in Strings", A C M Transactions on Programming Languages and Systems. Journal article
Danvy, O., 2006, "An Analytical Approach to Program as Data Objects". Doctoral thesis
Biernacki, D., Danvy, O., 2006, "A Simple Proof of a Folklore Theorem about Delimited Control", Journal of Functional Programming. Journal article
Böttger, H., Møller, A., Schwartzbach, M. I., 2006, "Contracts for Cooperation between Web Service Programmers and HTML Designers", Journal of Web Engineering. Journal article
Møller, A., Schwartzbach, M. I., 2006, "An Introduction to XML and Web Technologies". Book
Danvy, O., de Moor, O., Padget, J., Thiemann, P., 2006, "Editorial", Higher-Order and Symbolic Computation. Editorial
Danvy, O., Filinski, A., Giavitto, J., Moreau, P., Talcott, C., 2006, "Editorial", Higher-Order and Symbolic Computation. Editorial
Møller, A., 2006, "Static Analysis for Event-Based XML Processing", B R I C S Report Series. Journal article
Kirkegaard, C., Møller, A., 2006, "Static Analysis for Java Servlets and JSP", Static Analysis. Article in proceedings
Danvy, O., Rohde, H. K., 2006, "On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation", Information Processing Letters. Journal article
Kirkegaard, C., Møller, A., 2006, "Type Checking with XML Schema in XACT". Paper