J. Terlouw

Acta lnformatica 19. 97-113 (1983} Standard Model Semantics for DSL A Data Type Specification Language (2008)

J. A. Bergstra, J. Terlouw

Summary. We discuss a data type specification language DSL(,~) which is obtained from the first order language L(,~) for a given signature, ~ by augmenting it with schemes. A specification is a pair...

Debat ter discussie. Wie mag meepraten over medische technologie? (2005)

Trappenburg, M.J., Beaufort, I. De, Dondorp, W., Gunsteren, H. Van, Hanssen, L., Hartogh, G. Den, ...

Ons leven is doordrongen van technologie. Vooral ontwikkelingen op het gebied van biomedische technologie spreken tot de verbeelding. Ze brengen hoop of juist angst teweeg, maar ze leiden zeker ook...

Towards a German-Dutsch Air Traffic Management Research Enterprise, Report of the DLR/NLR ATM Task Force (2003)

Jansen, R.;, Mansfeld, G.;, Niederstrasser, H.;, Rodloff, R.;, Teegen, U.;, Terlouw, J.

Towards a German-Dutch Air Traffic Management Research Enterprise, Annex to the Report (2003)

Jansen, R.;, Mansfeld, G.;, Niederstrasser, H.;, Rodloff, R., Teegen, U.;, Terlouw, J.

Vrede Alstublieft (1999)

Lubbers, R.F.M., Boven, W. Van, Coppieters, M., Couzy, H., Dhoore, L., Faber, M., ...

Standard model semantics for DSL, a data type specification language (1983)

Bergstra, J.A., Terlouw, J.

We discuss a data type specification language DSL(∑) which is obtained from the first order language L(∑) for a given signature ∑ by augmenting it with schemes. A specification is a pair (∑,...

A characterization of program equivalence in terms of Hoare's logic (1981)

Bergstra, J.A., Terlouw., J.

A propositional version of Hoare's logic (1981)

Bergstra, J.A., Terlouw, J.