Back to Results
First PageMeta Content
Structure / Universal algebra / Sheaf / Logic / Mathematics / Model theory / Algebraic topology


IMPLEMENTATION OF PARAMETERISED SPECIFICATIONS -- Extended A b s t r a c t * - - Donald Sannella
Add to Reading List

Document Date: 2008-08-20 12:17:20

Open Document

File Size: 1,00 MB

Share Result on Facebook

City

Munich / /

Currency

pence / /

Facility

Computer Science University / University of Edinburgh / /

IndustryTerm

sort tool / iszero operator / eāˆ’āˆ’ / unused carrier elements / eq operator / /

Organization

Donald Sannella Martin Wirsing Department / Computer Science University / University of Edinburgh / Edinburgh Institut fSr Informatik Technische Universit / /

Person

Nat / Alsig(T)) Atarget / Donald Sannella Martin Wirsing / /

Position

General data constraints / model / WB / single model for any specification / /

ProgrammingLanguage

EC / T / /

Technology

functional programming / simulation / CAT / /

SocialTag