365 search results - page 20 / 73 » Using Types as Approximations for Type Checking Prolog Progr... |
APLAS
2003
ACM
14 years 26 days ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
POPL
1995
ACM
13 years 11 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
AICCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...