Simulation and fixpoint semantics

In dit proefschrift wordt een fundamenteel wiskundig onderzoek gedaan naar recursie in programmeertalen. In een programmeertaal kan men een programma schrijven dat zichzelf aanroept, en deze techniek noemen we recursie. In de informatica bestudeert men het ontwikkelen van programma's voor bepaalde vraagstukken, en soms is het mogelijk om zo een vraagstuk te reduceren tot essentieel hetzelfde vraagstuk, maar iets eenvoudiger. Door nu gebruik te maken van recursie kunnen we een programma schrijven voor een reduceerbaar vraagstuk. ...

Zie: Samenvatting

	titlepage and contents
	chapter 1
	chapter 2
	chapter 3
	chapter 4
	chapter 5
	chapter 6
	chapter 7
	chapter 8
	chapter 9
	chapter 10
	references
	samenvatting
	complete thesis

Meer informatie in de catalogus
Meer informatie in Picarta

Afdrukken op bestelling.