Compile-Time Type Prediction and Type Checking for Common Lisp Programs

1993 ◽  
pp. 127-142
Author(s):  
Randall Beer
Keyword(s):  
Type Checking ◽  
Common Lisp ◽  
Time Type

Debugging via run-time type checking

2000 ◽  
Vol 25 (1) ◽  
pp. 58
Author(s):  
Susan Horwitz
Keyword(s):  
Type Checking ◽  
Run Time ◽  
Time Type

Compile time type checking of structure field accessing

1982 ◽  
Vol 14 (1) ◽  
pp. 22-25
Author(s):  
Hamish I.E. Gunn
Keyword(s):  
Type Checking ◽  
Time Type

scholarly journals A Provably Correct Compiler Generator

1992 ◽  
Vol 21 (382) ◽  
Author(s):  
Jens Palsberg
Keyword(s):  
Programming Languages ◽  
Machine Language ◽  
Initial Model ◽  
Type Checking ◽  
Algebraic Specifications ◽  
Language Needs ◽  
Run Time ◽  
Time Type

We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated compilers emit absolute code for an abstract RISC machine language that currently is assembled into code for the SPARC and the HP Precision Architecture. Our machine language needs no run-time type-checking and is thus more realistic than those considered in previous compiler proofs. We use solely algebraic specifications; proofs are given in the initial model.

scholarly journals Efficient run-time type checking of typed logic programs

1992 ◽  
Vol 14 (1-2) ◽  
pp. 31-69 ◽  
Author(s):  
Philip W. Dart ◽  
Justin Zobel
Keyword(s):  
Logic Programs ◽  
Type Checking ◽  
Run Time ◽  
Time Type

scholarly journals Block Structure and Object-Oriented Languages

1987 ◽  
Vol 16 (230) ◽  
Author(s):  
Ole Lehrmann Madsen
Keyword(s):  
Programming Languages ◽  
Block Structure ◽  
Object Oriented ◽  
Type Checking ◽  
Run Time ◽  
Name Binding ◽  
Time Type ◽  
Object Oriented Languages

Programming languages that support the object-oriented perspective on programming may be divided into two groups. One group of languages originating from Simula follows the Algol tradition with respect to block structure, static name binding and compile-time type checking. Another group of languages originating from Smalltalk is more in the style of the Lisp tradition with a flat set of definitions (classes), dynamic name binding and run-time type checking. The purpose of this paper is to analyze the role of block structure in object-oriented languages. It will be demonstrated that block structure is useful from both a conceptual and technical viewpoint.

scholarly journals Debugging via Run-Time Type Checking

2001 ◽  
pp. 217-232 ◽  
Author(s):  
Alexey Loginov ◽  
Suan Hsi Yong ◽  
Susan Horwitz ◽  
Thomas Reps
Keyword(s):  
Type Checking ◽  
Run Time ◽  
Time Type

scholarly journals Run-Time Type Checking for Binary Programs

2003 ◽  
pp. 90-105 ◽  
Author(s):  
Michael Burrows ◽  
Stephen N. Freund ◽  
Janet L. Wiener
Keyword(s):  
Type Checking ◽  
Run Time ◽  
Time Type ◽  
Binary Programs
Sign in / Sign up

Export Citation Format

Share Document