Publications :: Search

Show author

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

Author information
First name:	Josef
Last name:	Svenningsson
DBLP:	85/6934
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Josef Svenningsson, David Sands. Specification and Verification of Side Channel Declassification	CoRR 2009, Volume 0	(0)	2009
	Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson. Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Niklas Broberg, Andreas Farre, Josef Svenningsson. Regular expression patterns.	Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 2004	(0)	2004
	Josef Svenningsson. Shortcut fusion for accumulating parameters zip-like functions.	ICFP 2002	(0)	2002
	Jörgen Gustavsson, Josef Svenningsson. Constraint Abstractions.	Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings 2001	(0)	2001
	Jörgen Gustavsson, Josef Svenningsson. A Usage Analysis with Bounded Usage Polymorphism and Subtyping.	Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers 2001	(0)	2000

Your query returned 6 matches in the database.