research-article

LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]

Authors:

PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

Article No.: 17, Pages 1 - 6

https://doi.org/10.1145/2972206.2972218

Published: 29 August 2016 Publication History

Get Access

Abstract

There is a wide gap in abstraction level between Java source code and JVM bytecode. Many important software-related tasks, such as specification and implementation of code synthesis procedures, code inspection, software understanding and teaching, can benefit from an adequate, intermediate level of abstraction. Available bytecode assembly/disassembly tools are ad-hoc and fall short of the requirements regarding compositionality and clarity. We report on the design and implementation of the LLJava language that bridges the gap, based on careful analysis of bytecode information and rigorous design.

References

[1]

ASM. OW2 Consortium. 2015. url: http://asm.ow2.org/.

Google Scholar

[2]

Byte Code Engineering Library (BCEL). Apache Commons. 2014. url: https://commons.apache.org/proper/commons-bcel/index.html.

Google Scholar

[3]

T. Downing and J. Meyer. JAVA Virtual Machine. O'Reilly, 1996. isbn: 978-1565921948.

Google Scholar

[4]

J. Engel. Code for book Programming for the Java Virtual Machine. GitHub, 2010. url: https://github.com/ymasory/programming-for-the-jvm/.

Google Scholar

[5]

J. Engel. Programming for the Java Virtual Machine. Addison-Wesley, 1999. isbn: 978-0201309720.

Digital Library

Google Scholar

[6]

R. Grosse. Krakatau Bytecode Tools. GitHub, 2015. url: https://github.com/Storyyeller/Krakatau/.

Google Scholar

[7]

T. Lindholm et al. The Java Virtual Machine Specification. Java SE 7. JSR-000924. Oracle, 2013.

Digital Library

Google Scholar

[8]

J. Meyer and D. Reynaud. Jasmin Home Page. 2005. url: http://jasmin.sourceforge.net/.

Google Scholar

[9]

R. Vallée-Rai et al. "Soot -- a Java Bytecode Optimization Framework". In: Proc. CASCON. IBM, 1999.

Digital Library

Google Scholar

Cited By

View all

Trancón y Widemann BLepper MErtl MKirsch C(2024)Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programmingProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685061(48-54)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3679007.3685061
Trancón y Widemann BLepper MKuchen HSinger J(2021)LLJava live at the loop: a case for heteroiconic staged meta-programmingProceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3475738.3480942(113-126)Online publication date: 29-Sep-2021
https://dl.acm.org/doi/10.1145/3475738.3480942
Trancón y Widemann BLepper M(2019)Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial CompilationDeclarative Programming and Knowledge Management10.1007/978-3-030-46714-2_17(268-285)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-46714-2_17

LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Array Bytecode Support in MicroJIT
VMIL 2023: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

Eclipse OpenJ9 is a Java virtual machine (JVM), which initially interprets Java programs. OpenJ9 uses Just-in-Time (JIT) compilers—like the default Testarossa JIT (TRJIT)—to translate the bytecodes of the Java program into native code, which executes ...
Dynamic Bytecode Usage by Object Oriented Java Programs
TOOLS '99: Proceedings of the Technology of Object-Oriented Languages and Systems

Java is an object oriented language that has grown in popularity since its release in 1996 and is particularly interesting because it uses a bytecode intermediate language to represent programs, so that the same program can be run unchanged on machines ...
An instruction folding solution to a java processor
NPC'07: Proceedings of the 2007 IFIP international conference on Network and parallel computing

Java is widely applied into embedded devices. Java programs are compiled into Java bytecodes, which are executed into the Java virtual machine. The Java virtual machine is a stack machine and instruction folding is a technique to reduce the redundant ...

Comments

Information & Contributors

Information

Published In

PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

August 2016

186 pages

ISBN:9781450341356

DOI:10.1145/2972206

Conference Chair:
Yudi Zheng
University of Lugano
,
General Chair:
Walter Binder,
Program Chair:
Petr Tůma

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 August 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

PPPJ '16

PPPJ '16: Virtual Machines, Languages, and Tools

August 29 - September 2, 2016

Lugano, Switzerland

Acceptance Rates

PPPJ '16 Paper Acceptance Rate 14 of 31 submissions, 45%;

Overall Acceptance Rate 29 of 58 submissions, 50%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
72
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Trancón y Widemann BLepper MErtl MKirsch C(2024)Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programmingProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685061(48-54)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3679007.3685061
Trancón y Widemann BLepper MKuchen HSinger J(2021)LLJava live at the loop: a case for heteroiconic staged meta-programmingProceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3475738.3480942(113-126)Online publication date: 29-Sep-2021
https://dl.acm.org/doi/10.1145/3475738.3480942
Trancón y Widemann BLepper M(2019)Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial CompilationDeclarative Programming and Knowledge Management10.1007/978-3-030-46714-2_17(268-285)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-46714-2_17

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Array Bytecode Support in MicroJIT

Dynamic Bytecode Usage by Object Oriented Java Programs

An instruction folding solution to a java processor

Comments

Information

Published In

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations