Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Christian
Last name:	Haack
DBLP:	h/ChristianHaack
Rating:	(1)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert. Immutable Objects for a Java-Like Language.	Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007	(1)	2007
	Christian Haack, Erik Poll. Type-Based Object Immutability with Flexible Initialization.	ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings 2009	(0)	2009
	Christian Haack, Clément Hurlin. Resource Usage Protocols for Iterators.	Journal of Object Technology 2009, Volume 8	(0)	2009
	Christian Haack, Clément Hurlin. Separation Logic Contracts for a Java-Like Language with Fork/Join.	Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings 2008	(0)	2008
	Christian Haack, Marieke Huisman, Clément Hurlin. Reasoning about Java's Reentrant Locks.	Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings 2008	(0)	2008
	Christian Haack, Alan Jeffrey. Pattern-matching spi-calculus.	Inf. Comput. 2006, Volume 204	(0)	2006
	Christian Haack, Alan Jeffrey. Timed Spi-Calculus with Types for Secrecy and Authenticity.	CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005	(0)	2005
	Christian Haack, Alan Jeffrey. Pattern-Matching Spi-Calculus.	Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France 2005	(0)	2004
	Christian Haack, Joe B. Wells. Type error slicing in implicitly typed higher-order languages.	Sci. Comput. Program. 2004, Volume 50	(0)	2004
	Christian Haack, J. B. Wells. Type Error Slicing in Implicitly Typed Higher-Order Languages.	Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003	(0)	2003

Your query returned 13 matches in the database.