365 search results - page 12 / 73 » Using Types as Approximations for Type Checking Prolog Progr... |
COLING
1996
13 years 9 months ago
1996
This paper presents a gratmnar and style checker demonstrator for Spanish and Greek native writers developed within the project GramCheck. Besides a brief grmnmar error typology f...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
POS
1994
Springer
13 years 11 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
LOPSTR
2004
Springer
14 years 27 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...