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 Gilmore, Stephen

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 1 to 9 of 9

Issue Date	Title	Author(s)	Supervisor(s)
Jul-2001	Abstract Machines for Dynamic Computation	Walton, Christopher D	Gilmore, Stephen
Jul-1991	Correctness-Oriented Approaches to Software Development	Gilmore, Stephen	-
Jun-2005	Language Interoperability and Logic Programming Languages	Cook, Jonathan J	Gilmore, Stephen
Jul-2002	Mobile Computation with Functions	Kırlı, Zeliha D	Gilmore, Stephen; Hillston, Jane
Jun-2005	Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages	Lindley, Sam	Stark, Ian; Gilmore, Stephen
Jul-1999	Proving Correctness of Modular Functional Programs	Owens, Christopher	Gilmore, Stephen; Anderson, Stuart
Jul-2002	Repairing Type Errors in Functional Programs	McAdam, Bruce J	Gilmore, Stephen
2010	Scalable analysis of stochastic process algebra models	Tribastone, Mirco	Hillston, Jane; Gilmore, Stephen
2010	Verification and validation of security protocol implementations	O’Shea, Nicholas	Gilmore, Stephen; Stark, Ian

Showing results 1 to 9 of 9

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