Name
Abstract | ||
|---|---|---|
Data Types,Bremen, November 1984, Springer Informatik-Fachberichte Vol. 116, pp. 31-38 (invited note).3Present address: Institute of Computer Science, Polish Academy of Sciences, Warsaw.1There is no reason to view any of these logical systems as superior to the others;the choice must depend on the particular area of application and may also dependon personal taste.The informal notion of logical system has been formalised by Goguen andBurstall [GB 84], who introduced for this... |
Year | DOI | Venue |
|---|---|---|
1984 | 10.1007/978-3-662-09691-8_4 | ADT |
Keywords | Field | DocType |
algebraic specification,data type | Algebraic specification,Specification language,Algebraic modeling language,Top-down and bottom-up design,Electronic engineering,Equivalence (measure theory),Generalized algebraic data type,Formalism (philosophy),Calculus,Mathematics | Conference |
ISBN | Citations | PageRank |
3-540-16077-9 | 6 | 0.72 |
References | Authors | |
14 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Donald Sannella | 1 | 1417 | 134.34 |
| Andrzej Tarlecki | 2 | 1514 | 124.61 |