Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and

First Page		Document Content
Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming		Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 120,04 KB Share Document on Facebook

	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine DocID: 1qhqk - View Document
	Algebraic Specification and OBJ Julio Mari˜ no Universidad Polit´ecnica de Madrid October 31, 2006 DocID: 1cet0 - View Document
	Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 DocID: 18OPu - View Document
	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and DocID: 13YSy - View Document
	Algebraic Specification of User Interfaces M. Cabrera, M. Gea, F. Gutierrez, J.C. Torres Dpt. Lenguajes y Sistemas Informaticos Universidad de Granada (Spain) DocID: 124V8 - View Document