Project Details
Description
The goal of this project is to give a
proposal for the semantic foundations of algebraic specification languages having subtypes and higher-order functions.
proposal for the semantic foundations of algebraic specification languages having subtypes and higher-order functions.
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/1995 → 31/12/1999 |
Funding
- Sam.arb.aftaler - Udenlandske offentlige og private
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.