Sciweavers

MPC
2004
Springer
161views Mathematics» more  MPC 2004»
14 years 4 months ago
Compiling Exceptions Correctly
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
Graham Hutton, Joel Wright
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
14 years 4 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
MPC
2004
Springer
159views Mathematics» more  MPC 2004»
14 years 4 months ago
An Algebra of Scans
Ralf Hinze
MPC
2004
Springer
100views Mathematics» more  MPC 2004»
14 years 4 months ago
Probabilistic Predicative Programming
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
Eric C. R. Hehner
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
14 years 4 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
14 years 4 months ago
Optimizing Generic Functions
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
Artem Alimarine, Sjaak Smetsers
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
14 years 4 months ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
14 years 4 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
14 years 4 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
14 years 4 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi