Foto van Frans E.J. Kruseman Aretz

Frans E.J. Kruseman Aretz

Prof.dr.

  • 20 Citaties
1960 …2010

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Research profile

1933: geboren te Malang (Java)

1952: eindexamen bèta, Vossius Gymnasium Amsterdam

1960: doctoraal examen theoretische natuurkunde, UvA

1962: promotie wiskunde en natuurwetenschappen, UvA:  "Moment expansions in the theory of coöperatieve phenomena"

 

1960-1962: medewerker Stichting voor Fundamenteel Onderzoek der Materie

1962-1965: medewerker rekenafdeling Mathematisch Centrum, Amsterdam

1965-1969: souschef rekenafdeling Mathematisch Centrum

1966-1970: bijzonder hoogleraar aan de UvA vanwege de Stichting voor Hoger Onderwijs in de Toegepast Wiskunde,  opdracht: theorie van het programmeren van rekenautomaten

1967: inaugurele rede UvA: "Vallen en Opstaan"

 

1969-1993 medewerker Philips Research Laboratories Eindhoven

 

1971-1995 buitengewoon (= deeltijds) hoogleraar aan de TU/e, opdracht: informatica

1995: afscheidscollege TU/e: "33 jaar beoefening van de informatica"

 

7 maal eerste promotor, 7 maal tweede promotor

 

Interessegebieden: automaten, programmeertalen, programma-ontwerp,  parsing, compilers,                    geschiedenis van de wiskunde en de informatica.

 

Interessegebieden buiten vakgebied: klassieke muziek, literatuur, Noorse taal en literatuur

 

Publicaties: ca 34, o.a.

"On deriving a LISP program from its specification", Science of Computer Programming 10 (1988) 19-32.

"On a recursive ascent parser",

Information Processing Letters 29 (1988) 201--206.

"A comparison between the ALGOL 60 implementations on the  Electrologica X1 and the Electrologica X8", CWI-Note SEN-E0801, Centrum voor Wiskunde en Informatica 2008.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Frans E.J. Kruseman Aretz actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Onderzoeksoutput

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 blz. (Computer science reports; vol. 1002)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
  • 87 Downloads (Pure)

    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 blz. (CWI report SEN-E : software engineering; vol. 0801)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Rounding

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 53-69

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    1 Downloads (Pure)

    Scriptie

    A comparison of trace theory programs and Petri-nets

    Auteur: Langen, A., 31 aug 1988

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

    Scriptie/masterproef: Master

    A design method for self-timed circuits

    Auteur: de Graaff, P., 31 aug 1986

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

    Scriptie/masterproef: Master

    Afleiding en representatie van enige attribuut evaluatie algoritmen

    Auteur: Janssen, J., 31 dec 1989

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

    Scriptie/masterproef: Master

    A formal definition of a functional notation

    Auteur: Baartmans, M., 31 mei 1987

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

    Scriptie/masterproef: Master

    An analysis of Tomita's parsing algorithm

    Auteur: van der Burgt, G., 31 aug 1990

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

    Scriptie/masterproef: Master