Type-Preserving Compilation of Featherweight Java

机译：羽量级Java的类型保留编译

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and self application for method invocation. Classes inherit super-class methods with no overhead. We support mutually recursive classes while preserving separate compilation. Our strategy extends naturally to a significant subset of Java, including interfaces and privacy. The formal translation using Featherweight Java allows comprehensible type-preservation proofs and serves as a starting point for extending the translation to new features.

著录项

作者
League, C. ; Trifonov, V. ; Shao, Z.;
展开▼
作者单位

展开▼
年度 2005
页码 1-13
总页数 13
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
High level languages; Java programming language; Methodology; Parameters; Application programming interface; Theorems; Calculus;

机译：高级语言; Java编程语言;方法论;参数;应用程序编程接口;定理;微积分;

相似文献

外文文献
中文文献
专利

1. Type-preserving compilation of end-to-end verification of security enforcement [J] . Chen Juan, Chugh Ravi, Swamy Nikhil ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第6期

机译：端到端的安全实施验证的类型保留编译
2. Type-preserving compilation for large-scale optimizing object-oriented compilers [J] . Chen J, Hawblitzel C, Perry F, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2008,第6期

机译：大型优化面向对象编译器的类型保留编译
3. Generating Random Well-Typed Featherweight Java Programs Using QuickCheck [J] . Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois Electronic Notes in Theoretical Computer Science . 2019,第1期

机译：使用QuickCheck生成随机的类型良好的轻量级Java程序
4. Type-preserving compilation of featherweight java [C] . League C., Zhong Shao, Trifonov V. Foundations of Intrusion Tolerant Systems, 2003 Organically Assured and Survivable Information Systems . -1

机译：轻量级Java的类型保留编译
5. Towards efficient compilation of the HPJava language for high performance computing. [D] . Lee, Han-Ku. 2003

机译：致力于高效编译HPJava语言以实现高性能计算。
6. The featherweight fighter [O] . Ryan Childers 2012

机译：轻量级战斗机
7. Type-Preserving Compilation of Featherweight Java [O] . Christopher League, Zhong Shao, Valery Trifonov 2002

机译：轻量级Java的类型保留编译
8. Type-Preserving Compilation of Featherweight Java [R] . League, C. , Shao, Z. , Trifonov, V. 2005

机译：羽量级Java的类型保留编译

Type-Preserving Compilation of Featherweight Java

摘要

著录项

相似文献

相关主题

期刊订阅