On correctness of buffer implementations in a concurrent lambda calculus with futures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
Version March 2, 2009
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 37
- Classification
-
Informatik
- Keyword
-
Funktionale Programmiersprache
Pufferspeicher
Lambda-Kalkül
Nebenläufigkeit
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2009
- Contributor
-
Schwinghammer, Jan
Sabel, David
Niehren, Joachim
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-67253
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schwinghammer, Jan
- Sabel, David
- Niehren, Joachim
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2009
Other Objects (12)
On correctness of buffer implementations in a concurrent lambda calculus with futures
Proving the correctness of algebraic implementations by the ISAR system
Program equivalence for a concurrent lambda calculus with futures
Political Correctness
Ca2+-buffer in dendrites, buffer capacity
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Buffer overflows
"Poor buffer!"
Vom 1λ5,3λ5-Diphosphacyclobutadien [Lambda-lambda-Diphosphacyclobutadien] zum 1λ5,3λ5,5λ3-Triphosphabenzol [Lambda-lambda-lambda-Triphosphabenzol]
Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures
On correctness of buffer implementations in a concurrent lambda calculus with futures
Proving the correctness of algebraic implementations by the ISAR system
Program equivalence for a concurrent lambda calculus with futures
Political Correctness
Ca2+-buffer in dendrites, buffer capacity
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Buffer overflows
"Poor buffer!"
Vom 1λ5,3λ5-Diphosphacyclobutadien [Lambda-lambda-Diphosphacyclobutadien] zum 1λ5,3λ5,5λ3-Triphosphabenzol [Lambda-lambda-lambda-Triphosphabenzol]
Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures
On correctness of buffer implementations in a concurrent lambda calculus with futures
Proving the correctness of algebraic implementations by the ISAR system
Program equivalence for a concurrent lambda calculus with futures
Political Correctness
Ca2+-buffer in dendrites, buffer capacity
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Buffer overflows
"Poor buffer!"
Vom 1λ5,3λ5-Diphosphacyclobutadien [Lambda-lambda-Diphosphacyclobutadien] zum 1λ5,3λ5,5λ3-Triphosphabenzol [Lambda-lambda-lambda-Triphosphabenzol]