Photo of Frans E.J. Kruseman Aretz

Frans E.J. Kruseman Aretz

  • 20 Citations
1960 …2010
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Frans E.J. Kruseman Aretz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

ISO Standards Arts & Humanities
Correctness Arts & Humanities

Research Output 1960 2010

Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study

Kruseman Aretz, F. E. J., 2010, Eindhoven: Technische Universiteit Eindhoven. 58 p. (Computer science reports; vol. 1002)

Research output: Book/ReportReportAcademic

Open Access
File
Correctness
ISO Standards

A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8

Kruseman Aretz, F. E. J., 2008, Amsterdam: Centrum voor Wiskunde en Informatica. 170 p. (CWI report SEN-E : software engineering; vol. 0801)

Research output: Book/ReportReportAcademic

Rounding

Kruseman Aretz, F. E. J., 2007, Liber Amicorum Jan de Graaf. Meer, van der, J. C. (ed.). Eindhoven: Technische Universiteit Eindhoven, p. 71-75

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Rounding
Floating point

The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1

Kruseman Aretz, F. E. J., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 328 p. (CWI report. SEN-N : software engineering; vol. 0301)

Research output: Book/ReportReportAcademic

Uit de oude doos van de X1 en de X8 : over de berekening van sinus en cosinus

Kruseman Aretz, F. E. J., 2001, Liber Amicorum Jos Jansen. Anthonissen, M. J. H. (ed.). Eindhoven: Technische Universiteit Eindhoven, p. 53-69

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Student theses

A comparison of trace theory programs and Petri-nets

Author: Langen, A., 31 Aug 1988

Supervisor: Rem, M. (Supervisor 1), Kruseman Aretz, F. (Supervisor 2) & Schols, H. (Supervisor 2)

Student thesis: Master

A design method for self-timed circuits

Author: de Graaff, P., 31 Aug 1986

Supervisor: Rem, M. (Supervisor 1), Kruseman Aretz, F. (Supervisor 2), Schols, H. (Supervisor 2) & Kaldewaij, A. (Supervisor 2)

Student thesis: Master

Afleiding en representatie van enige attribuut evaluatie algoritmen

Author: Janssen, J., 31 Dec 1989

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Marcelis, A. (Supervisor 2)

Student thesis: Master

A formal definition of a functional notation

Author: Baartmans, M., 31 May 1987

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Hoogerwoord, R. (Supervisor 2)

Student thesis: Master

An analysis of Tomita's parsing algorithm

Author: van der Burgt, G., 31 Aug 1990

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master