Relationeel redeneren voor geavanceerde typesystemen in geavanceerde programmalogica's KU Leuven
Vele interessante eigenschappen van programma's en programmeertalen, zoals contextuele verfijning en equivalentie, niet-interferentie (een veiligheidseigenschap), en compilercorrectheid, zijn relationeel. De techniek genaamd 'logische relaties' is een veelzijdige bewijstechniek om relationele eigenschappen, en in het bijzonder contextuele verfijning en equivalentie, aan te tonen. De techniek is oorspronkelijk ontwikkeld voor puur functionele ...