172
click to vote
IFL
15 years 7 months ago
2007 Springer 
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
107
click to vote
IFL
15 years 7 months ago
2007 Springer 
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
106
click to vote
IFL
15 years 7 months ago
2007 Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
104
click to vote
IFL
15 years 7 months ago
2007 Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
109
click to vote
IFL
15 years 7 months ago
2007 Springer 
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
|
Formal Methods