1 |
A universal realizability model for sequential functional computationRohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. Univ., Diss., 2002. / Computerdatei im Fernzugriff.
|
2 |
A universal realizability model for sequential functional computationRohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. University, Diss., 2002.
|
3 |
Analyzing demand in non-strict functional programming languagesSchütz, Marko. Unknown Date (has links) (PDF)
University, Diss., 2001--Frankfurt (Main).
|
4 |
Region-based Program SpecializationHelsen, Simon. January 2002 (has links)
Freiburg, Univ., Diss., 2002.
|
5 |
Implementation funktionaler Programmiersprachen durch QuelltexttransformationMaćoš, Dragan. January 1998 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 1998.
|
6 |
Dynamic compilation for functional programsGrabmüller, Martin January 2009 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2009
|
7 |
Eine funktionale, synchrone Programmiersprache für eingebettete Echtzeitsysteme /Frick, Gerd. January 2006 (has links)
Universiẗat, Diss., 2006--Karlsruhe.
|
8 |
Locally boolean domains and universal models for infinitary sequential languagesLöw, Tobias. Unknown Date (has links)
Techn. University, Diss., 2006--Darmstadt.
|
9 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen /Kutzner, Arne. January 1900 (has links) (PDF)
Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999
|
10 |
Verification of Erlang programs using abstract interpretation and model checkingHuch, Frank Günter. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2001--Aachen.
|
Page generated in 0.5139 seconds