| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 2 |       | Jan A. Bergstra, J. Terlouw: Standard Model Semantics for DSL A Data Type Specification Language. Acta Inf. 19: 97-113 (1983) |
| 1 |  | Jan A. Bergstra, J. Terlouw: A Characterization of Program Equivalence in Terms of Hoare's Logic. GI Jahrestagung 1981: 72-77 |
Selection of 2 from 2 records - J. Terlouw has 1 coauthors
Last update 2012-02-16 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page