Michael I. Schwartzbach

Proceedings of the Web Engineering - 12th International Conference, 2012

2011

XML graphs in program analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Related Types.

[BibT_eX]

[DOI]

Johnni Winther

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2009

Information systems preface.

[BibT_eX]

[DOI]

Marcelo Arenas

Inf. Syst., 2009

Secure Multiparty Computation Goes Live.

[BibT_eX]

[DOI]

Tomas Toft

Proceedings of the Financial Cryptography and Data Security, 2009

2008

Dual syntax for XML languages.

[BibT_eX]

[DOI]

Inf. Syst., 2008

Multiparty Computation Goes Live.

[BibT_eX]

[DOI]

Tomas Toft

IACR Cryptol. ePrint Arch., 2008

Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Static validation of XSL transformations.

[BibT_eX]

[DOI]

Mads Østerby Olesen

ACM Trans. Program. Lang. Syst., 2007

The metafront system: Safe and extensible parsing and transformation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

A domain-specific programming language for secure multiparty computation.

[BibT_eX]

[DOI]

Janus Dam Nielsen

Gudmund Skovbjerg Frandsen

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

2006

A singular choice for multiple choice.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2006

Contracts for Cooperation between Web Service Programmers and HTML Designers.

[BibT_eX]

[DOI]

Henning Böttger

J. Web Eng., 2006

An introduction to XML and web technologies.

[BibT_eX]

Addison-Wesley, ISBN: 978-0-321-26966-9, 2006

2005

The Design Space of Type Checkers for XML Transformation Languages.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2005

2004

Static Analysis of XML Transformations in Java.

[BibT_eX]

[DOI]

Christian Kirkegaard

IEEE Trans. Software Eng., 2004

2003

Extending Java for high-level Web service construction.

[BibT_eX]

[DOI]

Aske Simon Christensen

ACM Trans. Program. Lang. Syst., 2003

The metafront System: Extensible Parsing and Transformation.

[BibT_eX]

[DOI]

Mads Vanggaard

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Precise Analysis of String Expressions.

[BibT_eX]

[DOI]

Aske Simon Christensen

Proceedings of the Static Analysis, 10th International Symposium, 2003

2002

Language-Based Caching of Dynamiclly Generated HTML.

[BibT_eX]

[DOI]

Steffan Olesen

World Wide Web, 2002

The <bigwig> project.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2002

MONA Implementation Secrets.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

The DSD Schema Language.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2002

Growing languages with metamorphic syntax macros.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001

The Pointer Assertion Logic Engine.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Static validation of dynamically generated HTML.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

PowerForms: Declarative client-side form field validation.

[BibT_eX]

[DOI]

Mikkel Ricky

World Wide Web, 2000

A Type System for Dynamic Web Documents.

[BibT_eX]

[DOI]

Anders Sandholm

Proceedings of the POPL 2000, 2000

DSD: A schema language for XML.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Compile-Time Debugging of C Programs Working on Trees.

[BibT_eX]

[DOI]

Jacob Elgaard

Proceedings of the Programming Languages and Systems, 2000

1999

A Domain-Specific Language for Regular Sets of Strings and Trees.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

A Runtime System for Interactive Web Services.

[BibT_eX]

[DOI]

Anders Sandholm

Comput. Networks, 1999

Yakyak: parsing with logical side constraints.

[BibT_eX]

[DOI]

Niels Damgaard

Proceedings of the Developments in Language Theory, 1999

1998

Distributed Safety Controllers for Web Services.

[BibT_eX]

[DOI]

Anders Sandholm

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Automatic Verification of Pointer Programs using Monadic Second-Order Logic.

[BibT_eX]

[DOI]

Jakob L. Jensen

Michael E. Jørgensen

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1996

Static Correctness of Hierarchical Procedures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Foreword: Special Volume of TAPSOFT 1995 Papers.

[BibT_eX]

Peter D. Mosses

Mogens Nielsen

Theor. Comput. Sci., 1996

Formal Design Constraints.

[BibT_eX]

[DOI]

Jari Koistinen

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995

Safety Analysis versus Type Inference

[BibT_eX]

[DOI]

Inf. Comput., April, 1995

Editorial.

[BibT_eX]

Theory Pract. Object Syst., 1995

Type Inference for Turbo Pascal.

[BibT_eX]

Ole I. Hougaard

Hosein Askari

Softw. Concepts Tools, 1995

Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance

[BibT_eX]

[DOI]

Ole Agesen

Softw. Pract. Exp., 1995

Efficient Recursive Subtyping.

[BibT_eX]

[DOI]

Dexter Kozen

Math. Struct. Comput. Sci., 1995

1994

Static Typing for Object-Oriented Programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

Injectivity of Composite Functions.

[BibT_eX]

[DOI]

Kim S. Larsen

J. Symb. Comput., 1994

Efficient Inference of Partial Types.

[BibT_eX]

[DOI]

Dexter Kozen

J. Comput. Syst. Sci., 1994

Binding-time Analysis: Abstract Interpretation versus Type Inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trees in Algebra and Programming, 1994

Object-oriented type systems.

[BibT_eX]

Wiley professional computing, Wiley, ISBN: 978-0-471-94128-6, 1994

1993

Graph Types.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Type Inference of SELF.

[BibT_eX]

[DOI]

Ole Agesen

Proceedings of the ECOOP'93, 1993

1992

Interpretations of Recursively Defined Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Types for the language designer (abstract).

[BibT_eX]

[DOI]

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Three discussions on object-oriented typing.

[BibT_eX]

[DOI]

OOPS Messenger, 1992

Safety Analysis Versus Type Inference for Partial Types.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

A New Formalism for Relational Algebra.

[BibT_eX]

[DOI]

Kim S. Larsen

Erik Meineche Schmidt

Inf. Process. Lett., 1992

Making Type Inference Practical.

[BibT_eX]

[DOI]

Nicholas Oxhøj

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991

Type Inference with Inequalities.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Object-Oriented Type Inference.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

What is Type-Safe Code Reuse?

[BibT_eX]

[DOI]

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

Type Substitution for Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Infinite Values in Hierarchical Imperative Types.

[BibT_eX]

[DOI]

Proceedings of the CAAP '90, 1990

1989

An Imperative Type Hierarchy with Partial Products.

[BibT_eX]

[DOI]

Erik Meineche Schmidt