A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler

ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/1146809.1146811
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Language and Virtual Machine Support for Efficient Fine-Grained Futures in Java

Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT
HardwareTheoretical Computer ScienceArchitectureSoftware
2007English

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

How to Believe a Machine-Checked Proof

BRICS Report Series
1997English

Instruction Folding in a Hardware-Translation Based Java Virtual Machine

2006English

A Novel Benefit Model for Virtual Machine Resources Allocation

2015English

ByteSTM: Virtual Machine-Level Java Software Transactional Memory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Linear Time Hierarchies for a Functional Language Machine Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Interplay of Virtual Machine Selection and Virtual Machine Placement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Architecture of the PEVM: A High-Performance Orthogonally Persistent Java™ Virtual Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy