NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 4
  • 1
  • Tagged with
  • 15
  • 15
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 15 (0.11 seconds)

Spelling suggestions: "subject:"funktionale programmiersprache."" "subject:"funktionale programmiersprachen.""

1

A universal realizability model for sequential functional computation

Rohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. Univ., Diss., 2002. / Computerdatei im Fernzugriff.
Funktionale Programmiersprache
2

A universal realizability model for sequential functional computation

Rohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. University, Diss., 2002.
Funktionale Programmiersprache
3

Analyzing demand in non-strict functional programming languages

Schütz, Marko. Unknown Date (has links) (PDF)
University, Diss., 2001--Frankfurt (Main).
Funktionale Programmiersprache.
4

Region-based Program Specialization

Helsen, Simon. January 2002 (has links)
Freiburg, Univ., Diss., 2002.
5

Implementation funktionaler Programmiersprachen durch Quelltexttransformation

Maćoš, Dragan. January 1998 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 1998.
6

Dynamic compilation for functional programs

Grabmü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 languages

Lö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 checking

Huch, Frank Günter. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2001--Aachen.

Page generated in 0.1138 seconds