The semantics, formal correctness and implementation of history variables in an imperative programming language : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in the University of Canterbury /

Description

Thesis (M. Sc.)--University of Canterbury, 2006. / Typescript (photocopy). Includes bibliographical references (p. 141-148). Also available via the World Wide Web.

Links & Downloads

1. http://library.canterbury.ac.nz/etd/adt-NZCU20070730.163725

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/174101157
Date	January 2006
Creators	Mallon, Ryan.
Source Sets	OCLC
Language	English
Detected Language	English