Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=375
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A fibrational framework for possible-world semantics of ALGOL-like languages
C. Hermida
,
R.D. Tennent
Theoretical Computer Science
375
(1-3), 2007, pp. 3-19
Combining algebraic effects with continuations
Martin Hyland
,
Paul Blain Levy
,
Gordon Plotkin
,
John Power
Theoretical Computer Science
375
(1-3), 2007, pp. 20-40
On the relations between monadic semantics
Andrzej Filinski
Theoretical Computer Science
375
(1-3), 2007, pp. 41-75
A syntactic correspondence between context-sensitive calculi and abstract machines
MaĆgorzata Biernacka
,
Olivier Danvy
Theoretical Computer Science
375
(1-3), 2007, pp. 76-108
Splitting atoms safely
C.B. Jones
Theoretical Computer Science
375
(1-3), 2007, pp. 109-119
Flow analysis of lazy higher-order functional programs
Neil D. Jones
,
Nils Andersen
Theoretical Computer Science
375
(1-3), 2007, pp. 120-136
Analyzing the environment structure of higher-order languages using frame strings
Matthew Might
,
Olin Shivers
Theoretical Computer Science
375
(1-3), 2007, pp. 137-168
A bisimulation for dynamic sealing
Eijiro Sumii
,
Benjamin C. Pierce
Theoretical Computer Science
375
(1-3), 2007, pp. 169-192
Core algebra revisited
Peter Freyd
Theoretical Computer Science
375
(1-3), 2007, pp. 193-200
The Girard-Reynolds isomorphism (second edition)
Philip Wadler
Theoretical Computer Science
375
(1-3), 2007, pp. 201-226
A semantics for concurrent separation logic
Stephen Brookes
Theoretical Computer Science
375
(1-3), 2007, pp. 227-270
Resources, concurrency, and local reasoning
Peter W. O'Hearn
Theoretical Computer Science
375
(1-3), 2007, pp. 271-307
Relational separation logic
Hongseok Yang
Theoretical Computer Science
375
(1-3), 2007, pp. 308-334
A few exercises in theorem processing
F. Lockwood Morris
Theoretical Computer Science
375
(1-3), 2007, pp. 335-345
On being a student of John Reynolds
Frank J. Oles
Theoretical Computer Science
375
(1-3), 2007, pp. 346-350