Publication
-
Explorations of the dynamic environment Dissertation
Logic and languageSeptember 1994
-
September 1994 -
Executable language definitions : case studies and origin tracking techniques Dissertation
Software EngineeringSeptember 1994 -
September 1994 -
October 1994 -
October 1994 -
Modular algebraic specifications and transformational program development Dissertation
Software EngineeringOctober 1994 -
October 1994