Designing a verifying compiler: Lessons learned from developing Whiley

First Page		Document Content
Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode		Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Download Document from Source Website File Size: 1,53 MB Share Document on Facebook

	Whiley: a Better C? David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract DocID: 1t11A - View Document
	Designing a verifying compiler: Lessons learned from developing Whiley DocID: 1riyK - View Document
	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract DocID: 1qWHv - View Document
	Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington DocID: 1k4n9 - View Document
	Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz DocID: 1k04U - View Document