Compiling Exceptions Correctly (English)
- New search for: Hutton, Graham
- New search for: Wright, Joel
- New search for: Hutton, Graham
- New search for: Wright, Joel
In:
Mathematics of Program Construction
2
;
211-227
;
2004
- Article/Chapter (Book) / Electronic Resource
-
Title:Compiling Exceptions Correctly
-
Contributors:Hutton, Graham ( author ) / Wright, Joel ( author )
-
Published in:Mathematics of Program Construction , 2 ; 211-227Lecture Notes in Computer Science ; 3125, 2 ; 211-227
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2004-01-01
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Extended Static Checking for JavaNelson, Greg et al. | 2004
- 2
-
Constructing Polymorphic Programs with Quotient TypesAbbott, Michael / Altenkirch, Thorsten / Ghani, Neil / McBride, Conor et al. | 2004
- 16
-
Optimizing Generic FunctionsAlimarine, Artem / Smetsers, Sjaak et al. | 2004
- 32
-
Inferring Type Isomorphisms GenericallyAtanassow, Frank / Jeuring, Johan et al. | 2004
- 54
-
Friends Need a Bit More: Maintaining Invariants Over Shared StateBarnett, Mike / Naumann, David A. et al. | 2004
- 85
-
Chasing BottomsDanielsson, Nils Anders / Jansson, Patrik et al. | 2004
- 110
-
Describing Gen/Kill Static Analysis Techniques with Kleene AlgebraFernandes, Therrezinha / Desharnais, Jules et al. | 2004
- 129
-
A Free Construction of Kleene Algebras with TestsFurusawa, Hitoshi et al. | 2004
- 142
-
Streaming Representation-ChangersGibbons, Jeremy et al. | 2004
- 169
-
Probabilistic Predicative ProgrammingHehner, Eric C. R. et al. | 2004
- 186
-
An Algebra of ScansHinze, Ralf et al. | 2004
- 211
-
Compiling Exceptions CorrectlyHutton, Graham / Wright, Joel et al. | 2004
- 228
-
Modelling NondeterminismMartin, Clare E. / Curtis, Sharon A. / Rewitzky, Ingrid et al. | 2004
- 252
-
Lazy Kleene AlgebraMöller, Bernhard et al. | 2004
- 274
-
Augmenting Types with Unbounded Demonic and Angelic NondeterminacyMorris, Joseph M. et al. | 2004
- 289
-
An Injective Language for Reversible ComputationMu, Shin-Cheng / Hu, Zhenjiang / Takeichi, Masato et al. | 2004
- 314
-
Prototyping Generic Programming in Template HaskellNorell, Ulf / Jansson, Patrik et al. | 2004
- 334
-
Transposing Relations: From Maybe Functions to Hash TablesFonseca de Oliveira, José Nuno / Jesus Pereira Cunha Rodrigues, César et al. | 2004
- 357
-
Pointer Theory and Weakest Preconditions without Addresses and HeapSchieder, Birgit et al. | 2004
- 381
-
Travelling ProcessesTang, Xinbei / Woodcock, Jim et al. | 2004