A typed intermediate language for supporting interfaces

Authors:
Juan Chen
Affiliations:
Microsoft Research, Redmond, WA
Venue:
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Year:
2009

Citing 13
Cited 0

A fast method dispatcher for compiled languages with multiple inheritance

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Selector table indexing & sparse arrays

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Decidable bounded quantification

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From system F to typed assembly language

ACM Transactions on Programming Languages and Systems (TOPLAS)
A certifying compiler for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient implementation of Java interfaces: Invokeinterface considered harmless

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-preserving compilation of Featherweight Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java Virtual Machine Specification

Java Virtual Machine Specification
Object-Oriented Programming; An Evolutionary Approach

Object-Oriented Programming; An Evolutionary Approach
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A simple typed intermediate language for object-oriented languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented languages such as Java and C# provide interfaces to support a restricted form of multiple inheritance. Existing low-level typed intermediate languages for object-oriented languages, however, either do not support interfaces or require non-standard interface implementations. This paper describes a low-level typed intermediate language that can express the standard interface implementation strategies based on interface tables (itables). The language can faithfully model itables, the standard itable-based interface method invocation, and interface cast. The type system is sound and the type checking is decidable.