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

	Deserti, Julie; Grivaux, Julien Automorphisms of rational surfaces with positive entropy. (English) Zbl Indiana Univ. Math. J. 60, No. 5, ). The authors identify a systematic means of const DocID: 1xV3R - View Document
	PDF Document DocID: 1xQmY - View Document
	PDF Document DocID: 1xqNx - View Document
	PDF Document DocID: 1xmGj - View Document
	PDF Document DocID: 1vHvm - View Document