Results 101 to 110 of about 18,338 (256)
Reverse Execution of Java Bytecode [PDF]
The Computer Journal, 2002 Summary: We demonstrate a model, including operational semantics, for the reverse execution of stack-based code. We discuss our modification of the Kaffe implementation of the Java virtual machine, supporting a debugger capable of running Java bytecode backwards.
openaire +2 more sources
IET Software, Volume 2025, Issue 1, 2025.In the fast‐changing landscape of global mobility, the need for secure, efficient, and interoperable visa, passport, and immigration verification systems has never been higher. Traditional systems are inefficient, have security vulnerabilities, and exhibit poor interoperability.
Faraz Masood +3 more
wiley +1 more source
Opportunities for a Truffle-based Golo Interpreter [PDF]
, 2015 Golo is a simple dynamically-typed language for the Java Virtual Machine. Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedy-namic and JSR 292 method handles to implement a reasonably efficient runtime.
Loiseau, Yannick +3 more
core +2 more sources
Dynamic smart contracts framework on Ethereum private blockchain for real estate management
The Journal of Engineering, Volume 2025, Issue 1, January/December 2025.We propose a conceptual framework for a private blockchain based on the Ethereum platform, utilizing Proof of Authority (PoA) as the consensus mechanism, specifically designed for property transactions. Abstract Blockchain technology enables the recording of information in an immutable manner, making it extremely difficult or nearly impossible to alter,
Huma Jamshed +5 more
wiley +1 more source
Improving Scalability of Java Archive Search Engine through Recursion Conversion And Multithreading
CommIT Journal, 2016 Based on the fact that bytecode always exists on Java archive, a bytecode based Java archive search engine had been developed [1, 2]. Although this system is quite effective, it still lack of scalability since many modules apply recursive calls and this ...
Oscar Karnalim
doaj +1 more source
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts [PDF]
, 2019 Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes.
State, Radu +2 more
core +1 more source
Dynamic and ahead of time optimization for JavaScript programs
Труды Института системного программирования РАН, 2018 The paper is dedicated to performance improvement of JavaScript programs. In this work we examine the specifics of dynamic optimizations in JIT-compiler for JavaScript, and how the performance of such optimizations can be improved.
Roman Zhuykov +5 more
doaj +1 more source
IET BlockchainThe reentrancy vulnerability in smart contracts has caused significant losses in the digital currency economy. Existing solutions for detecting and repairing this vulnerability are limited in scope and lack a comprehensive framework.
Zijun Feng +4 more
doaj +1 more source
Аhead of time optimization for JavaScript programs
Труды Института системного программирования РАН, 2018 Modern JavaScript engines use just-in-time (JIT) compilation to produce binary code. JIT compilers are limited in a complexity of optimizations they can perform at a runtime without delaying an execution.
Roman Zhuykov, Eugene Sharygin
doaj +1 more source
, 2004 Firstly, this technical report presents a Hoare-style programming logic (“axiomatic semantics”) for a sequential, stack-based bytecode language with unstructured control flow and OO-features similar to the JVM or the CLI languages. We prove soundness and completeness with respect to the operational semantics and derive a weakest precondition calculus ...
Bannwart, Fabian Yves, Müller, Peter
openaire +2 more sources