aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

First Page		Document Content
Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java		aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Download Document from Source Website File Size: 980,13 KB Share Document on Facebook

	POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School DocID: 1uqA0 - View Document
	Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 DocID: 1tFQF - View Document
	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of DocID: 1tF39 - View Document
	Jpn. J. Infect. Dis., 59, 2006 Laboratory and Epidemiology Communications Rapid Subtyping of Influenza A Virus by Loop-Mediated Isothermal Amplification: Two Cases of Influenza Patients Who Returned from Thailand DocID: 1tlLN - View Document
	Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL * DocID: 1t6Ds - View Document