| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johnni Winther, Michael I. Schwartzbach |
Related Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Michael I. Schwartzbach |
Information systems preface. |
Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Oege de Moor, Michael I. Schwartzbach (eds.) |
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 |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Multiparty Computation Goes Live. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Dual syntax for XML languages. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Schwartzbach |
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Michael I. Schwartzbach |
The metafront system: Safe and extensible parsing and transformation. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach |
Static validation of XSL transformations. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
static analysis, XML Schema, XSLT, DTD |
| 1 | Janus Dam Nielsen, Michael I. Schwartzbach |
A domain-specific programming language for secure multiparty computation. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
SMCL, design, implementation, analysis |
| 1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Michael I. Schwartzbach (eds.) |
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers |
DBPL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henning Böttger, Anders Møller, Michael I. Schwartzbach |
Contracts for Cooperation between Web Service Programmers and HTML Designers. |
J. Web Eng. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gudmund Skovbjerg Frandsen, Michael I. Schwartzbach |
A singular choice for multiple choice. |
SIGCSE Bulletin |
2006 |
DBLP DOI BibTeX RDF |
grading scales, multiple choice, scoring strategies, theory |
| 1 | Anders Møller, Michael I. Schwartzbach |
An introduction to XML and web technologies. |
|
2006 |
RDF |
|
| 1 | Michael I. Schwartzbach, Thomas Ball (eds.) |
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 |
PLDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
The Design Space of Type Checkers for XML Transformation Languages. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Dual Syntax for XML Languages. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach |
Static Analysis of XML Transformations in Java. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
markup languages, requirements/specifications, Language constructs and features |
| 1 | Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard |
The metafront System: Extensible Parsing and Transformation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach |
Extending Java for high-level Web service construction. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Interactive Web services, XML, data-flow analysis |
| 1 | Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach |
Precise Analysis of String Expressions. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
The DSD Schema Language. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
The project. |
ACM Trans. Internet Techn. |
2002 |
DBLP DOI BibTeX RDF |
Interactive Web services, World Wide Web (WWW), program analysis, HTML |
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
MONA Implementation Secrets. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach |
Language-Based Caching of Dynamiclly Generated HTML. |
World Wide Web |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Michael I. Schwartzbach |
Growing languages with metamorphic syntax macros. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
The Pointer Assertion Logic Engine. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Static validation of dynamically generated HTML. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
HTML |
| 1 | Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach |
PowerForms: Declarative client-side form field validation. |
World Wide Web |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Michael I. Schwartzbach (eds.) |
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 |
TACAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anders Sandholm, Michael I. Schwartzbach |
A Type System for Dynamic Web Documents. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
DSD: A schema language for XML. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
MONA Implementation Secrets. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Elgaard, Anders Møller, Michael I. Schwartzbach |
Compile-Time Debugging of C Programs Working on Trees. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Michael I. Schwartzbach |
A Domain-Specific Language for Regular Sets of Strings and Trees. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
regular sets, trees, Domain-specific languages, logic, strings |
| 1 | Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach |
A Runtime System for Interactive Web Services. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach |
Yakyak: parsing with logical side constraints. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Anders Sandholm, Michael I. Schwartzbach |
Distributed Safety Controllers for Web Services. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach |
Automatic Verification of Pointer Programs using Monadic Second-Order Logic. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
Pascal |
| 1 | Nils Klarlund, Michael I. Schwartzbach |
A Domain-Specific Language for Regular Sets of Strings and Trees. |
DSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael I. Schwartzbach |
Static Correctness of Hierarchical Procedures. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach |
Foreword: Special Volume of TAPSOFT 1995 Papers. |
Theor. Comput. Sci. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach |
Formal Design Constraints. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari |
Type Inference for Turbo Pascal. |
Software - Concepts and Tools |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Recursive Subtyping. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Safety Analysis versus Type Inference |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Editorial. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.) |
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings |
TAPSOFT |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Static Typing for Object-Oriented Programming. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim S. Larsen, Michael I. Schwartzbach |
Injectivity of Composite Functions. |
J. Symb. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Inference of Partial Types. |
J. Comput. Syst. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Object-oriented type systems. |
|
1994 |
RDF |
|
| 1 | Nils Klarlund, Michael I. Schwartzbach |
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Binding-time Analysis: Abstract Interpretation versus Type Inference. |
ICCL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael I. Schwartzbach, Jens Palsberg |
Types for the language designer (abstract). |
OOPS Messenger |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Michael I. Schwartzbach |
Graph Types. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Recursive Subtyping. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |
Type Inference of SELF. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
Languages and their implementation, tools and environments |
| 1 | Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt |
A New Formalism for Relational Algebra. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Safety Analysis Versus Type Inference for Partial Types. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Schwartzbach |
Interpretations of Recursively Defined Types. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Three discussions on object-oriented typing. |
OOPS Messenger |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach |
Making Type Inference Practical. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Inference of Partial Types |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
partial types, heterogeneous lists, persistent data, exponential time algorithm, type inference, decidability, lambda -calculus, recursive types, finite automaton, type constraints |
| 1 | Michael I. Schwartzbach |
Type Inference with Inequalities. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Object-Oriented Type Inference. |
OOPSLA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
What is Type-Safe Code Reuse? |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Schwartzbach |
Static Correctness of Hierarchical Procedures. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Schwartzbach |
Infinite Values in Hierarchical Imperative Types. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Type Substitution for Object-Oriented Programming. |
OOPSLA/ECOOP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Meineche Schmidt, Michael I. Schwartzbach |
An Imperative Type Hierarchy with Partial Products. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")