- Weitere Titel
-
The sigma-semantics for functional programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
52 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 46 - 48
- Erschienen in
-
Aachener Informatik-Berichte ; 96,7
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
RWTH, Fachgruppe Informatik
- (wann)
-
1996
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:04 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Chitil, Olaf
- RWTH, Fachgruppe Informatik
Entstanden
- 1996
Ähnliche Objekte (12)
A paraconsistent semantics for generalized logic programs
Semantics and loop invariant synthesis for probabilistic programs
Relational algebraic semantics of funktional programs
Convergent functions and function parameters: SPMD semantics for GPU programs
Performance Optimizations and Operator Semantics for Streaming Data Flow Programs
Dynamic compilation for functional programs
Dynamic compilation for functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Flexible computation of the well-founded semantics of normal logic programs
Petri net semantics of logic programs and deductive databases
Semantics-driven extraction of timed automata from Java programs
System Support for the Interactive Transformation of Functional Programs
A paraconsistent semantics for generalized logic programs
Semantics and loop invariant synthesis for probabilistic programs
Relational algebraic semantics of funktional programs
Convergent functions and function parameters: SPMD semantics for GPU programs
Performance Optimizations and Operator Semantics for Streaming Data Flow Programs
Dynamic compilation for functional programs
Dynamic compilation for functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Flexible computation of the well-founded semantics of normal logic programs
Petri net semantics of logic programs and deductive databases
Semantics-driven extraction of timed automata from Java programs
System Support for the Interactive Transformation of Functional Programs
A paraconsistent semantics for generalized logic programs
Semantics and loop invariant synthesis for probabilistic programs
Relational algebraic semantics of funktional programs
Convergent functions and function parameters: SPMD semantics for GPU programs
Performance Optimizations and Operator Semantics for Streaming Data Flow Programs
Dynamic compilation for functional programs
Dynamic compilation for functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Flexible computation of the well-founded semantics of normal logic programs
Petri net semantics of logic programs and deductive databases
Semantics-driven extraction of timed automata from Java programs