Abstract. Our critical computing systems are coded in low-level, typeunsafe languages such as C, and it is unlikely that they will be re-coded in a high-level, type-safe language such as Java. This invited talk discusses some approaches that show promise in achieving type safety for legacy C code.
Starting from the seminal work of Volpano and Smith, there has been growing evidence that type syste...
We present the type theory LTT, intended to form a basis for typed target languages, providing an in...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...
Most of the software that we depend upon, including operating systems, communication stacks, file sy...
Many kinds of networked devices receive and execute new programs from various sources. Since we may ...
This dissertation is a case study of type safety with respect to the C programming language. In shor...
In this paper we propose a scheme that combines type inference and run-time checking to make existin...
In this paper we propose a scheme that combines type inference and run-time checking to make existin...
C/C++ are the languages of choice for development of many widely used system softwares. However, the...
The correctness of code-level implementations of software requires, among other things, the proper u...
Abstract. Popular mobile code architectures (Java and.NET) include verifiers to check for memory saf...
Foreign function interfaces (FFIs) allow components in different languages to communicate directly w...
We propose a new type system for Java-like languages which allows compilation of a class in isolati...
Existing approaches for detecting type errors in unsafe languages are limited. Static analysis metho...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Starting from the seminal work of Volpano and Smith, there has been growing evidence that type syste...
We present the type theory LTT, intended to form a basis for typed target languages, providing an in...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...
Most of the software that we depend upon, including operating systems, communication stacks, file sy...
Many kinds of networked devices receive and execute new programs from various sources. Since we may ...
This dissertation is a case study of type safety with respect to the C programming language. In shor...
In this paper we propose a scheme that combines type inference and run-time checking to make existin...
In this paper we propose a scheme that combines type inference and run-time checking to make existin...
C/C++ are the languages of choice for development of many widely used system softwares. However, the...
The correctness of code-level implementations of software requires, among other things, the proper u...
Abstract. Popular mobile code architectures (Java and.NET) include verifiers to check for memory saf...
Foreign function interfaces (FFIs) allow components in different languages to communicate directly w...
We propose a new type system for Java-like languages which allows compilation of a class in isolati...
Existing approaches for detecting type errors in unsafe languages are limited. Static analysis metho...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Starting from the seminal work of Volpano and Smith, there has been growing evidence that type syste...
We present the type theory LTT, intended to form a basis for typed target languages, providing an in...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...
DOI
Add to ORKG