Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

The University of Edinburgh crest

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject
	Publication Type

Sign on to:
	Receive email updates
	My ERA authorized users
	Edit Profile


	About DSpace

Edinburgh Research Archive >

Browsing by Author Anderson, Stuart

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 3 to 10 of 10

Issue Date	Title	Author(s)	Supervisor(s)
Jul-2002	Diagrammatic Representations in Domain-Specific Languages	Tourlas, Konstantinos	Anderson, Stuart
Jul-1993	Embedding Hardware Description Languages in Proof Systems	Goossens, Kees G W	Anderson, Stuart; Fourman, Michael
Jul-1997	Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems	Kahn, Saif U	Mitchell, Kevin; Anderson, Stuart; MPhil Master of Philosophy
Jul-1999	Proving Correctness of Modular Functional Programs	Owens, Christopher	Gilmore, Stephen; Anderson, Stuart
7-Nov-2007	Quality of Service of Crash-Recovery Failure Detectors	Ma, Tiejun	Anderson, Stuart; Hillston, Jane
Jul-2000	The structure of call-by-value	Führmann, Carsten	Anderson, Stuart; Power, John
Jul-1993	Timed Processes: Models, Axioms and Decidability	Chen, Liang	Anderson, Stuart; Power, John
Jul-1997	A Type-Theoretic Analysis of Modular Specifications	Maharaj, Savitri	Anderson, Stuart

Showing results 3 to 10 of 10

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy