Schwartzbach, Michael I.
Schwartzbach, Michael I., 1961-
Michael Schwartzbach
Schwartzbach, Michael
VIAF ID: 53363436 ( Personal )
Permalink: http://viaf.org/viaf/53363436
Preferred Forms
- 100 0 _ ‡a Michael Schwartzbach
-
- 100 1 _ ‡a Schwartzbach, Michael I
-
-
- 100 1 _ ‡a Schwartzbach, Michael I.
-
-
-
-
- 100 1 0 ‡a Schwartzbach, Michael I.
- 100 1 _ ‡a Schwartzbach, Michael I.
-
- 100 1 _ ‡a Schwartzbach, Michael I. ‡d 1961-
-
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Binding time analysis | |
Contracts for cooperation between web service programmers and HTML designers | |
Database programming languages : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers | |
DBPL 2007 | |
Design architectures through category constraints | |
Document structure description 1.0 | |
Efficient recursive subtyping | |
Extending Java for high-level web service construction | |
Genericity and inheritance | |
Graphs and decidable transductions based on edge constraints | |
Growing languages with metamorphic syntax macros | |
Infinite values in hierarchical imperative types | |
Interactive web services with Java | |
An introduction to XML and Web technologies | |
Models for abstract semantic algebras | |
MONA implementation secrets | |
Object-oriented type systems, c1994: | |
Optimal detection of query injectivity | |
Polyvariant analysis of the untyped lambda calculus | |
Precise analysis of string expressions | |
Programs with recursively defined data structures using pointers 19.04.1998 - 24.04.1998 | |
Revised and expanded versions of papers presented | |
Safety analysis versus type inference for partial types | |
Selected papers of TAPSOFT '95 / guest eds: P. D. Mosses, M. Nielsen, M. I. Schwartzbach. - Amsterdam, 1996. | |
Static analysis for dynamic XML | |
Static correctness of hierarchical procedures | |
Static validation of dynamically generated HTML | |
Static validation of XSL transformations | |
Substitution polymorphism for object-oriented programming | |
Three discussions on object-oriented typing | |
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 : proceedings | |
Type inference of Turbo Pascal | |
Type inference with inequalities | |
Types and automata | |
Types, inheritance and assignments : a collection of position papers | |
Verification of pointers | |
What is type-safe code reuse? | |
The ¤<bigwig> project | |
The ¤AKA manual | |
The ¤DSD schema language and its applications | |
The ¤Metafront system | |
A ¤note on opaque types | |
A ¤universal relational operator | |
The ¤XML revolution |