Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

First Page		Document Content
Date: 2012-08-02 20:40:20 Computing Software engineering Formal methods Refinement Specification language Specification Exception handling Programming language Software design Domain-specific language		Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 95,84 KB Share Document on Facebook

	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature DocID: 1xVT7 - View Document
	POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin DocID: 1xUAI - View Document
	Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Samuel Z Guyer DocID: 1xUyT - View Document
	tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. DocID: 1xUqQ - View Document