NDLI: The Project Maxwell assembler system

Please wait, while we are loading the content...

Cost and benefit of rigorous decoupling with context-specific interfaces

Streaming support for Java RMI in distributed environments

The management of users, roles, and permissions in JDOSecure

Experiences with the development of a reverse engineering tool for UML sequence diagrams: a case study in modern Java development

On the design of a Java computer algebra system

Typeless programming in Java 5.0

Experiences with hierarchy-based code generation in the J2EE context

Tatoo: an innovative parser generator

Dynamic analysis of program concepts in Java

Enabling Java mobile computing on the IBM Jikes research virtual machine

An extensible mechanism for Long-Term Persistence of JavaBeans components

Propagation of JML non-null annotations in Java programs

Components: a valuable investment for financial engineering, why derivative contracts should be active documents

Infinite streams in Java

M3PS: a multi-platform P2P system based on JXTA and Java

Investigating throughput degradation behavior of Java application servers: a view from inside a virtual machine

Juxta-Cat: a JXTA-based platform for distributed computing

Heap protection for Java virtual machines

Aranea: web framework construction and integration kit

Interaction among objects via roles: sessions and affordances in Java

Mapping clouds of SOA- and business-related events for an enterprise cockpit in a Java-based environment

A framework for unified resource management in Java

Experiences of using the Dagstuhl Middle Metamodel for defining software metrics

Business activity monitoring of norisbank taking the example of the application easyCredit and the future adoption of Complex Event Processing (CEP)

Reducing Java internet project risks: a case study of public measurement of client component functionality in the user community

Teaching inheritance concepts with Java

Improving the quality of programming education by online assessment

The Project Maxwell assembler system

Content Provider	ACM Digital Library
Author	Ungar, Dave Mathiske, Bernd Simon, Doug
Abstract	The Java™ programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platform-specific functions, such as the generation of machine code.We have created reliable assemblers for SPARC™, AMD64, IA32 and PowerPC which support all user mode and privileged instructions and with 64-bit mode support for all but the latter. These assemblers are generated as Java source code by our extensible assembler framework, which itself is written in the Java language. The assembler generator also produces javadoc comments that precisely specify the legal values for each operand.Our design is based on the Klein Assembler System written in Self. Assemblers are generated from a specification, as are table-driven disassemblers and unit tests. The specifications that drive the generators are expressed as Java language objects. Thus no extra parsers are needed and developers do not need to learn any new syntax to extend the framework for additional ISAs.Every generated assembler is tested against a preexisting assembler by comparing the output of both. Each instruction's test cases are derived from the cross product of its potential operand values. The majority of tests are positive (i.e., result in a legal instruction encoding). The framework also generates negative tests, which are expected to cause an error detection by an assembler. As with the Klein Assembler System, we have found bugs in the external assemblers as well as in ISA reference manuals.Our framework generates tens of millions of tests. For symbolic operands, our tests include all applicable predefined constants. For integral operands, the important boundary values, such as the respective minimum, maximum, 0, 1 and -1, are tested. Full testing can take hours to run but gives us a high degree of confidence regarding correctness.
Starting Page	3
Ending Page	12
Page Count	10
File Format	PDF
ISBN	3939352055
DOI	10.1145/1168054.1168056
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-08-30
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Cross assembler Assembler generator Domain-specific framework Disassembler Systems programming Automated testing The java language
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

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

A distribution definition language for the automated distribution of Java objects

Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications

Towards automated cross-language refactorings between Java and DSLs used by Java frameworks

JGroovy - an extensible Java Programming Language with Groovy

Domain Specific Language (DSL) development for desktop-based database application generator

Type systems for domain-specific languages.

Declarative automated test

Modeling automated highway systems with verij.

The Project Maxwell assembler system

Similar Documents

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

A distribution definition language for the automated distribution of Java objects

Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications

Towards automated cross-language refactorings between Java and DSLs used by Java frameworks

JGroovy - an extensible Java Programming Language with Groovy

Domain Specific Language (DSL) development for desktop-based database application generator

Type systems for domain-specific languages.

Declarative automated test

Modeling automated highway systems with verij.

The Project Maxwell assembler system