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

	Programming Paradigms and Beyond Shriram Krishnamurthi and Kathi Fisler Brown University and DocID: 1xUbO - View Document
	Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U DocID: 1xTYR - View Document
	Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb DocID: 1u59G - View Document
	Mutable objects in R Hadley Wickham December 15, 2010 Abstract Programming paradigms help us understand the differences and similarities between fundamental choices in language design. This paper looks at R in the contex DocID: 1u45m - View Document
	CSSE 403: Programming Language Paradigms Instructor: Dr. Mike Hewner (feel free to call me Buffalo) Email: Office Phone: Cell Phone: it often can be better to text me at DocID: 1tF1D - View Document