IFL
2007
Springer
14 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
IFL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
IFL
2007
Springer
14 years 1 months ago
2007
Springer
IFL
2007
Springer
14 years 1 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...
IFL
2007
Springer
14 years 1 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...
IFL
2007
Springer
14 years 1 months ago
2007
Springer
IFL
2007
Springer
14 years 1 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...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a new approximation in Natural Language Processing (nlp) aimed at knowledge representation and acquisition using a formal syntactic frame. In practice, we...
CICLING
2007
Springer
14 years 1 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...