 | 2009 |
|---|
| 69 |       | Oege de Moor,
Michael I. Schwartzbach:
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Springer 2009 |
| 68 | | Peter Bogetoft,
Dan Lund Christensen,
Ivan Damgård,
Martin Geisler,
Thomas P. Jakobsen,
Mikkel Krøigaard,
Janus Dam Nielsen,
Jesper Buus Nielsen,
Kurt Nielsen,
Jakob Pagter,
Michael I. Schwartzbach,
Tomas Toft:
Secure Multiparty Computation Goes Live.
Financial Cryptography 2009: 325-343 |
| 67 | | Marcelo Arenas,
Michael I. Schwartzbach:
Information systems preface.
Inf. Syst. 34(7): 577 (2009) |
| 2008 |
|---|
| 66 | | Michael I. Schwartzbach:
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.
CC 2008: 1-15 |
| 65 | | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Dual syntax for XML languages.
Inf. Syst. 33(4-5): 385-406 (2008) |
| 2007 |
|---|
| 64 |  | Marcelo Arenas,
Michael I. Schwartzbach:
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Springer 2007 |
| 63 | | Anders Møller,
Michael I. Schwartzbach:
XML graphs in program analysis.
PEPM 2007: 1-10 |
| 62 | | Janus Dam Nielsen,
Michael I. Schwartzbach:
A domain-specific programming language for secure multiparty computation.
PLAS 2007: 21-30 |
| 61 | | Anders Møller,
Mads Østerby Olesen,
Michael I. Schwartzbach:
Static validation of XSL transformations.
ACM Trans. Program. Lang. Syst. 29(4): (2007) |
| 60 | | Claus Brabrand,
Michael I. Schwartzbach:
The metafront system: Safe and extensible parsing and transformation.
Sci. Comput. Program. 68(1): 2-20 (2007) |
| 2006 |
|---|
| 59 | | Michael I. Schwartzbach,
Thomas Ball:
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006
ACM 2006 |
| 58 | | Henning Böttger,
Anders Møller,
Michael I. Schwartzbach:
Contracts for Cooperation between Web Service Programmers and HTML Designers.
J. Web Eng. 5(1): 65-90 (2006) |
| 57 | | Gudmund Skovbjerg Frandsen,
Michael I. Schwartzbach:
A singular choice for multiple choice.
SIGCSE Bulletin 38(4): 34-38 (2006) |
| 2005 |
|---|
| 56 | | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Dual Syntax for XML Languages.
DBPL 2005: 27-41 |
| 55 | | Anders Møller,
Michael I. Schwartzbach:
The Design Space of Type Checkers for XML Transformation Languages.
ICDT 2005: 17-36 |
| 2004 |
|---|
| 54 | | Christian Kirkegaard,
Anders Møller,
Michael I. Schwartzbach:
Static Analysis of XML Transformations in Java.
IEEE Trans. Software Eng. 30(3): 181-192 (2004) |
| 2003 |
|---|
| 53 | | Aske Simon Christensen,
Anders Møller,
Michael I. Schwartzbach:
Precise Analysis of String Expressions.
SAS 2003: 1-18 |
| 52 | | Aske Simon Christensen,
Anders Møller,
Michael I. Schwartzbach:
Extending Java for high-level Web service construction.
ACM Trans. Program. Lang. Syst. 25(6): 814-875 (2003) |
| 51 | | Claus Brabrand,
Michael I. Schwartzbach,
Mads Vanggaard:
The metafront System: Extensible Parsing and Transformation.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 2002 |
|---|
| 50 | | Claus Brabrand,
Michael I. Schwartzbach:
Growing languages with metamorphic syntax macros.
PEPM 2002: 31-40 |
| 49 | | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
The <bigwig> project.
ACM Trans. Internet Techn. 2(2): 79-114 (2002) |
| 48 | | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
The DSD Schema Language.
Autom. Softw. Eng. 9(3): 285-319 (2002) |
| 47 | | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
MONA Implementation Secrets.
Int. J. Found. Comput. Sci. 13(4): 571-586 (2002) |
| 46 | | Claus Brabrand,
Anders Møller,
Steffan Olesen,
Michael I. Schwartzbach:
Language-Based Caching of Dynamiclly Generated HTML.
World Wide Web 5(4): 305-324 (2002) |
| 2001 |
|---|
| 45 | | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Static validation of dynamically generated HTML.
PASTE 2001: 38-45 |
| 44 | | Anders Møller,
Michael I. Schwartzbach:
The Pointer Assertion Logic Engine.
PLDI 2001: 221-231 |
| 2000 |
|---|
| 43 | | Susanne Graf,
Michael I. Schwartzbach:
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings
Springer 2000 |
| 42 | | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
MONA Implementation Secrets.
CIAA 2000: 182-194 |
| 41 | | Jacob Elgaard,
Anders Møller,
Michael I. Schwartzbach:
Compile-Time Debugging of C Programs Working on Trees.
ESOP 2000: 119-134 |
| 40 | | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
DSD: A schema language for XML.
FMSP 2000: 101-111 |
| 39 | | Anders Sandholm,
Michael I. Schwartzbach:
A Type System for Dynamic Web Documents.
POPL 2000: 290-301 |
| 38 | | Claus Brabrand,
Anders Møller,
Mikkel Ricky,
Michael I. Schwartzbach:
PowerForms: Declarative client-side form field validation.
World Wide Web 3(4): 205-214 (2000) |
| 1999 |
|---|
| 37 | | Nils Klarlund,
Niels Damgaard,
Michael I. Schwartzbach:
Yakyak: parsing with logical side constraints.
Developments in Language Theory 1999: 286-301 |
| 36 | | Claus Brabrand,
Anders Møller,
Anders Sandholm,
Michael I. Schwartzbach:
A Runtime System for Interactive Web Services.
Computer Networks 31(11-16): 1391-1401 (1999) |
| 35 | | Nils Klarlund,
Michael I. Schwartzbach:
A Domain-Specific Language for Regular Sets of Strings and Trees.
IEEE Trans. Software Eng. 25(3): 378-386 (1999) |
| 1998 |
|---|
| 34 | | Anders Sandholm,
Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services.
FASE 1998: 270-284 |
| 1997 |
|---|
| 33 | | Nils Klarlund,
Michael I. Schwartzbach:
A Domain-Specific Language for Regular Sets of Strings and Trees.
DSL 1997 |
| 32 | | Jakob L. Jensen,
Michael E. Jørgensen,
Nils Klarlund,
Michael I. Schwartzbach:
Automatic Verification of Pointer Programs using Monadic Second-Order Logic.
PLDI 1997: 226-236 |
| 1996 |
|---|
| 31 | | Nils Klarlund,
Jari Koistinen,
Michael I. Schwartzbach:
Formal Design Constraints.
OOPSLA 1996: 370-383 |
| 30 | | Michael I. Schwartzbach:
Static Correctness of Hierarchical Procedures.
Theor. Comput. Sci. 156(1&2): 177-201 (1996) |
| 29 | | Peter D. Mosses,
Mogens Nielsen,
Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers.
Theor. Comput. Sci. 167(1&2): 1 (1996) |
| 1995 |
|---|
| 28 | | Peter D. Mosses,
Mogens Nielsen,
Michael I. Schwartzbach:
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings
Springer 1995 |
| 27 | | Jens Palsberg,
Michael I. Schwartzbach:
Safety Analysis versus Type Inference
Inf. Comput. 118(1): 128-141 (1995) |
| 26 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Recursive Subtyping.
Mathematical Structures in Computer Science 5(1): 113-125 (1995) |
| 25 | | Ole Agesen,
Jens Palsberg,
Michael I. Schwartzbach:
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Softw., Pract. Exper. 25(9): 975-995 (1995) |
| 24 | | Ole I. Hougaard,
Michael I. Schwartzbach,
Hosein Askari:
Type Inference for Turbo Pascal.
Software - Concepts and Tools 16(4): 160-169 (1995) |
| 23 | | Jens Palsberg,
Michael I. Schwartzbach:
Editorial.
TAPOS 1(3): 149 (1995) |
| 1994 |
|---|
| 22 | | Nils Klarlund,
Michael I. Schwartzbach:
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).
CAAP 1994: 187-201 |
| 21 | | Jens Palsberg,
Michael I. Schwartzbach:
Binding-time Analysis: Abstract Interpretation versus Type Inference.
ICCL 1994: 277-288 |
| 20 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Inference of Partial Types.
J. Comput. Syst. Sci. 49(2): 306-324 (1994) |
| 19 | | Kim S. Larsen,
Michael I. Schwartzbach:
Injectivity of Composite Functions.
J. Symb. Comput. 17(5): 393-408 (1994) |
| 18 | | Jens Palsberg,
Michael I. Schwartzbach:
Static Typing for Object-Oriented Programming.
Sci. Comput. Program. 23(1): 19-53 (1994) |
| 1993 |
|---|
| 17 | | Ole Agesen,
Jens Palsberg,
Michael I. Schwartzbach:
Type Inference of SELF.
ECOOP 1993: 247-267 |
| 16 | | Nils Klarlund,
Michael I. Schwartzbach:
Graph Types.
POPL 1993: 196-205 |
| 15 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Recursive Subtyping.
POPL 1993: 419-428 |
| 14 | | Michael I. Schwartzbach,
Jens Palsberg:
Types for the language designer (abstract).
OOPS Messenger 4(2): 219 (1993) |
| 1992 |
|---|
| 13 | | Nicholas Oxhøj,
Jens Palsberg,
Michael I. Schwartzbach:
Making Type Inference Practical.
ECOOP 1992: 329-349 |
| 12 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Inference of Partial Types
FOCS 1992: 363-371 |
| 11 | | Kim S. Larsen,
Michael I. Schwartzbach,
Erik Meineche Schmidt:
A New Formalism for Relational Algebra.
Inf. Process. Lett. 41(3): 163-168 (1992) |
| 10 | | Jens Palsberg,
Michael I. Schwartzbach:
Safety Analysis Versus Type Inference for Partial Types.
Inf. Process. Lett. 43(4): 175-180 (1992) |
| 9 | | Jens Palsberg,
Michael I. Schwartzbach:
Three discussions on object-oriented typing.
OOPS Messenger 3(2): 31-38 (1992) |
| 8 | | Michael I. Schwartzbach:
Interpretations of Recursively Defined Types.
Theor. Comput. Sci. 106(1): 119-134 (1992) |
| 1991 |
|---|
| 7 | | Jens Palsberg,
Michael I. Schwartzbach:
What is Type-Safe Code Reuse?
ECOOP 1991: 325-341 |
| 6 | | Jens Palsberg,
Michael I. Schwartzbach:
Object-Oriented Type Inference.
OOPSLA 1991: 146-161 |
| 5 | | Michael I. Schwartzbach:
Type Inference with Inequalities.
TAPSOFT, Vol.1 1991: 441-455 |
| 1990 |
|---|
| 4 | | Michael I. Schwartzbach:
Infinite Values in Hierarchical Imperative Types.
CAAP 1990: 254-268 |
| 3 | | Michael I. Schwartzbach:
Static Correctness of Hierarchical Procedures.
ICALP 1990: 32-45 |
| 2 | | Jens Palsberg,
Michael I. Schwartzbach:
Type Substitution for Object-Oriented Programming.
OOPSLA/ECOOP 1990: 151-160 |
| 1989 |
|---|
| 1 | | Erik Meineche Schmidt,
Michael I. Schwartzbach:
An Imperative Type Hierarchy with Partial Products.
MFCS 1989: 458-470 |
