Back to Results
First PageMeta Content
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

Document Date: 2000-06-29 07:17:41

Open Document

File Size: 120,04 KB

Share Result on Facebook

City

Edinburgh / /

Company

ACM Press / ACM Inc. / Programs Donald Sannella Laboratory / /

/

Facility

Institute of Computer Science / Andrzej Tarlecki Institute of Informatics / University of Edinburgh E-mail / Warsaw University / /

IndustryTerm

actual software systems / software design / concurrent systems / satisfactory solutions / correct software / quality software / software engineers / real software / software specification / software development / software systems / /

Organization

dts@dcs.ed.ac.uk and Andrzej Tarlecki Institute of Informatics / Warsaw University / University of Edinburgh E-mail / Polish Academy of Sciences / Institute of Computer Science / /

ProgrammingLanguage

ML / Standard ML / Prolog / Extended ML / /

PublishedMedium

Theoretical Computer Science / Formal Aspects of Computing / Lecture Notes in Computer Science / /

Technology

object-oriented programming / /

SocialTag