Publications :: Search

Show venue

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

Conference
Name:	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006
DBLP:	db/conf/aplas/aplas2006.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 25  

Select a publication
Show	Title	Venue	Rating	Date
	Roberta Gori, Francesca Levi. An Analysis for Proving Temporal Properties of Biological Systems.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Martín Abadi, Ricardo Corin, Cédric Fournet. Computational Secrecy by Typing for the Pi Calculus.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	William L. Harrison. Proof Abstraction for Imperative Languages.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer. Reading, Writing and Relations.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Lennart Beringer, Martin Hofmann. A Bytecode Logic for JML and Types.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Nina Bohr, Lars Birkedal. Relational Reasoning for Recursive Types and References.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Yannis Chicha, Stephen M. Watt. A Localized Tracing Scheme Applied to Garbage Collection.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Pieter W. M. Koopman, Marinus J. Plasmeijer. Automatic Testing of Higher Order Functions.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh. A Practical String Analyzer by the Widening Approach.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006
	Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi. Type and Effect System for Multi-staged Exceptions.	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006	(0)	2006

Your query returned 25 matches in the database.