"Michael Schwartzbach" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Michael Schwartzbach

"Michael Schwartzbach" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 7 of 7 entries

Book	Author(s)	Year	Publisher
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	Susanne Graf; Michael Schwartzbach	2000	Springer Berlin Heidelberg
Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers	Marcelo Arenas; Michael I. Schwartzbach	2007	Springer Berlin Heidelberg
Object-oriented type systems /	Palsberg, Jens.; Schwartzbach, Michael I.	[1994], ©1994.	Wiley,
Static Program Analysis	Anders Møller, Michael I. Schwartzbach	2018	Aarhus University
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	Oege de Moor; Michael I. Schwartzbach	2009	Springer Berlin Heidelberg
TAPSOFT ' 95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings	Peter D. Mosses; Mogens Nielsen; Michael I. Schwartzbach	1995	Springer Berlin Heidelberg
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	Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)	2000	Springer-Verlag Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 7 of 7 entries

«
‹
1
›
»

entries per page

Filter:

Showing 1 to 18 of 18 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Type inference with inequalities	Michael I. Schwartzbach	TAPSOFT ' 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP ' 91)	S. Abramsky; T. S. E. Maibaum	1991	Springer Berlin Heidelberg
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation	Michael I. Schwartzbach	Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings	Laurie Hendren	2008	Springer Berlin Heidelberg
Infinite values in hierarchical imperative types	Michael I. Schwartzbach	CAAP ' 90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings	A. Arnold	1990	Springer Berlin Heidelberg
Static correctness of hierarchical procedures	Michael I. Schwartzbach	Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings	Michael S. Paterson	1990	Springer Berlin Heidelberg
Related Types	Johnni Winther; Michael I. Schwartzbach	ECOOP 2011--Object-Oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings	Mira Mezini	2011	Springer Berlin Heidelberg
The Design Space of Type Checkers for XML Transformation Languages	Anders Møller; Michael I. Schwartzbach	Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings	Thomas Eiter; Leonid Libkin	2005	Springer Berlin Heidelberg
Distributed safety controllers for web services	Anders Sandholm; Michael I. Schwartzbach	Fundamental Approaches to Software Engineering: First International Conference, FASE' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	Egidio Astesiano	1998	Springer Berlin Heidelberg
Graphs and decidable transductions based on edge constraints	Nils Klarlund; Michael I. Schwartzbach	Trees in Algebra and Programming - CAAP ' 94: 19th International Colloquium, Edinburgh, U. K. , April 11 - 13, 1994. Proceedings	Sophie Tison	1994	Springer Berlin Heidelberg
What is type-safe code reuse?	Jens Palsberg; Michael I. Schwartzbach	ECOOP ' 91 European Conference on Object-Oriented Programming: Geneva, Switzerland, July 15-19, 1991. Proceedings	Pierre America	1991	Springer Berlin Heidelberg
An imperative type hierarchy with partial products	Erik M. Schmidt; Michael I. Schwartzbach	Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings	Antoni Kreczmar; Grazyna Mirkowska	1989	Springer Berlin Heidelberg
MONA Implementation Secrets	Nils Klarlund; Anders Møller; Michael I. Schwartzbach	Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers	Shen Yu; Andrei Păun	2001	Springer Berlin Heidelberg
Compile-Time Debugging of C Programs Working on Trees	Jacob Elgaard; Anders Møller; Michael I. Schwartzbach	Programming Languages and Systems: 9th European Symposium on Programming, ESOP 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	Gert Smolka	2000	Springer Berlin Heidelberg
Making type inference practical	Nicholas Oxhøj; Jens Palsberg; Michael I. Schwartzbach	ECOOP ' 92. European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings	Ole Lehrmann Madsen	1992	Springer Berlin Heidelberg
Type Inference of Self	Ole Agesen; Jens Palsberg; Michael I. Schwartzbach	ECOOP ' 93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings	Oscar M. Nierstrasz	1993	Springer Berlin Heidelberg
Recursively Defined Types in Constructive Type Theory	PRAKASH PANANGADEN; PAUL MENDLER; MICHAEL I. SCHWARTZBACH	Algebraic Techniques	Hassan Aït-Kaci; Maurice Nivat	1989	Academic Press
Dual Syntax for XML Languages	Claus Brabrand; Anders Møller; Michael I. Schwartzbach	Database Programming Languages: 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers	Gavin Bierman; Christoph Koch	2005	Springer Berlin Heidelberg
Precise Analysis of String Expressions	Aske Simon Christensen; Anders Møller; Michael I. Schwartzbach	Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings	Radhia Cousot	2003	Springer Berlin Heidelberg
WebSelF: A Web Scraping Framework	Jakob G. Thomsen; Erik Ernst; Claus Brabrand; Michael Schwartzbach	Web Engineering: 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012, Proceedings	Marco Brambilla; Takehiro Tokuda; Robert Tolksdorf	1st ed. 2012	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 18 of 18 entries

«
‹
1
›
»