Publications

2008

Cameron, N. R., Drossopoulou, S., Ernst, E., 2008, "A Model for Java with Wildcards", Lecture Notes in Computer Science. Conference article
Bergmans, L., Gybels, K., Ernst, E., 2008, "Special Issue: Software-engineering, Properites of Language and Aspect Technologies", Journal of Object Technology. Editorial
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
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
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, "A Rational Deconstruction of Landin's SECD Machine with the J Operator", Logical Methods in Computer Science. Journal article
Danvy, O., Johannsen, J., 2008, "Inter-deriving Semantic Artifacts for Object-Oriented Programming", Lecture Notes in Computer Science. Conference article
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., Mason, I., 2008, "Higher-Order and Symbolic Computation", Higher-Order and Symbolic Computation. Editorial
Danvy, O., Henglein, F., Mairson, H., Pettorossi, A., 2008, "Automatic Program Development". Anthology
Ernst, E., 2008, "First-Class Object Sets". Working paper

2007

Biernacka, M., Danvy, O., 2007, "A Concrete Framework for Environment Machines", A C M Transactions on Computational Logic. Journal article
Brabrand, C., Schwartzbach, M. I., 2007, "The METAFRONT System", Science of Computer Programming. Journal article
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
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
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
Danvy, O., O'Hearn, P., Wadler, P., 2007, "Festschrift for John C. Reynolds at the Occasion of his 70th Birthday". Book
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
Nielsen, J. D., Schwartzbach, M. I., 2007, "A Domain-Specific Programming Language for Secure Multiparty Computation", Preceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security. Article in proceedings
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 Rational Deconstruction of Landin's J Operator", Lecture Notes in Computer Science. 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
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
Ungar, D., Ernst, E., 2007, "Point/Counterpoint", I E E E Software. Journal article
Ernst, E., 2007, "ECOOP 2007 - Object-Oriented Programming". Book
Danvy, O., Millikin, K., 2007, "On One-Pass CPS Transformations", Journal of Functional Programming. Journal article
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, "A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines", 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
Nielsen, J. D., Schwartzbach, M. I., 2007, "The SMCL Language Specification". Working paper
Schwartzbach, M. I., Arenas, M., 2007, "Database Programming Languages". Anthology

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
Møller, A., Schwartzbach, M. I., 2006, "An Introduction to XML and Web Technologies". Book
Danvy, O., 2006, "Interview in popular science program at the Estonian National Radio". Other contribution
Biernacki, D. P., Danvy, O., Shan, C., 2006, "On the Static and Dynamic Extents of Delimited Continuations", Science of Computer Programming. Journal article
Danvy, O., Rohde, H. K., 2006, "On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation", Information Processing Letters. Journal article
Biernacki, D., Danvy, O., 2006, "A Simple Proof of a Folklore Theorem about Delimited Control", Journal of Functional Programming. Journal article
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
Brabrand, C., Giegerich, R., Møller, A., 2006, "Analyzing Ambiguity of Context-Free Grammars", B R I C S Report Series. Journal article
Frandsen, G. S., Schwartzbach, M. I., 2006, "A singular choice for multiple choice", S I G C S E Bulletin Inroads. Journal article
Kirkegaard, C., Møller, A., 2006, "Static Analysis for Java Servlets and JSP", Static Analysis. Article in proceedings
Kirkegaard, C., Møller, A., 2006, "Type Checking with XML Schema in XACT". Paper
Møller, A., 2006, "Static Analysis for Event-Based XML Processing", B R I C S Report Series. Journal article
Ernst, E., 2006, "Reconciling Virtual Classes with Genericity", Modular Programming Languages. Article in proceedings
Ernst, E., Ostermann, K., Cook, W. R., 2006, "A Virtual Class Calculus", Proceedings of Conference Record of POPL 2006. Article in proceedings
Danvy, O., 2006, "An Analytical Approach to Program as Data Objects". Doctoral thesis
Danvy, O., Filinski, A., Giavitto, J., Moreau, P., Talcott, C., 2006, "Editorial", Higher-Order and Symbolic Computation. Editorial
Danvy, O., de Moor, O., Padget, J., Thiemann, P., 2006, "Editorial", Higher-Order and Symbolic Computation. Editorial