Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse

Description

Univ., Diplomarbeit, 1999--Frankfurt (Main)

Links & Downloads

1. http://publikationen.ub.uni-frankfurt.de/volltexte/2006/2550/

Tags

Lambda-Kalkül Programmverifikation

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/180148804
Creators	Mann, Matthias
Source Sets	OCLC
Language	German
Detected Language	German