Research Output 1973 2019

Filter
Report
1993

Detailed application requirements

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente. (IMPRESS/AAR-Report; no. W6-001-R3)

Research output: Book/ReportReportProfessional

Exploitatieplan

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Functional specification of the support toolkit

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente. (IMPRESS/AAR-report; no. W7-009-R1)

Research output: Book/ReportReportProfessional

1991
39 Downloads (Pure)

Program Calculation Properties of Continuous Algebras

Fokkinga, M. M. & Meijer, E., Jan 1991, Amsterdam, The Netherlands: Centrum voor Wiskunde en Informatica. 47 p. (Report / Department of Computer Science; no. CS-R91)

Research output: Book/ReportReportOther research output

File
1990

Trip report DPDS'90

Grefen, P. W. P. J. & Flokstra, J., 1990, Enschede: University of Twente. 7 p. (PRISMA document)

Research output: Book/ReportReportProfessional

1987

An Elementary Semantics for Cardelli's System of Multiple Inheritance

Fokkinga, M. M., 1987, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1986

Backtracking and Branch-and-Bound functionally expressed

Fokkinga, M. M., 1986, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1984

A notation for the most general form of repetition

Fokkinga, M. M., 1984, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1983

Over het nut en de mogelijkheden van typering

Fokkinga, M. M., 1983, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1979

A Simpler correctness proof of an in-place permutation algorithm

Fokkinga, M. M., Mar 1979, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1977

Exchanging Robustness of a Program for a Relaxation of its Specification

Fokkinga, M. M., Sep 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

On the use of continuations in Mathematical Semantics

Fokkinga, M. M., Jan 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1976

A proposal for dealing with abnormal termination of programs

Bron, C. & Fokkinga, M. M., Nov 1976, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1975

Comments on a paper by Milner concerning the semantics of parallelism

Fokkinga, M. M., 1975, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output