M
Michael I. Schwartzbach
Researcher at Aarhus University
Publications - 124
Citations - 5080
Michael I. Schwartzbach is an academic researcher from Aarhus University. The author has contributed to research in topics: Type inference & XML schema. The author has an hindex of 34, co-authored 123 publications receiving 4966 citations. Previous affiliations of Michael I. Schwartzbach include BRICS & Aalborg University.
Papers
More filters
Journal Article
The ASF+SDF Meta-environment: Documentation Tools for Free!
TL;DR: In this paper, algebraic speciications can be used for the speciication of variable-length varials, and they can be found in the following places, e.g.
Journal ArticleDOI
Object-Oriented Type Inference
TL;DR: This work presents a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding that guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler.
Journal ArticleDOI
Optimal detection of query injectivity
TL;DR: This work presents an optimal algorithm for detecting injectivity of unary queries and provides a Horn clause characterization of the functional dependencies that can be propagated to the result relation.
Journal ArticleDOI
Static Correctness of Hierarchical Procedures
TL;DR: This work introduces an example language and proves the existence of a sound requirement which preserves static correctness while allowing hierarchical procedures, and establishes the theoretical basis for a very powerful and general type hierarchy with static type checking, which enables 1st order polymorphism and (multiple) inheritance in a language with assignments.