If you made any changes in Pure these will be visible here soon.

Research Output 1980 2012

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2008

Tree algorithms : two taxonomies and a toolkit

Cleophas, L. G. W. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 294 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
Taxonomies
Pattern matching
2000

Cocktail : a tool for deriving correct programs

Franssen, M. G. J., 2000, Eindhoven: Technische Universiteit Eindhoven. 238 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1999

Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow

Zwanenburg, J., 1999, Eindhoven: Technische Universiteit Eindhoven. 347 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1995

Taxonomies and toolkits of regular language algorithms

Watson, B. W., 1995, Eindhoven: Technische Universiteit Eindhoven. 375 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1994

A programming logic based on type theory

Poll, E., 1994, Eindhoven: Technische Universiteit Eindhoven. 175 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1984

Formal definitions of programming languages as a basis for compiler construction

Hemerik, C., 1984, Eindhoven: Technische Hogeschool Eindhoven. 223 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File