Within the last year
Within the past 3 years
1 - 7 of 7 articles
This paper sets a goal of investigating the use of Java in the development of high integrity systems. Based on previous studies, guidelines, and standards, we develop 23 criteria that are used for the following assessment of Java. A summary of the assessment is provided before we go on to review...
Function inlining is a powerful high level optimization which eliminates call cost and increases the chances of other optimizations taking effect due to the breaking down of the call boundaries. Goal-directed function cloning on the other hand strives to create specialized copies of functions to...
Traditionally books on compiler construction focus on procedural languages leaving some questions on compilation of object-oriented languages unanswered. This article presents some problems found in the building of a compiler for the object-oriented language Green using Java. The solutions used...
In this paper we present a formal semantic definition of a device interface language called DEVIL (DEVice Interface Language). The semantic model is based on a high-order logic system supported by a mathematical theorem proof development system called PowerEpsilon . This work is intended for...
This paper presents the design and implementation of a Knowledge Grid operating language and the programming environment KGOL. It provides not only a friendly user interface for end-users to easily access and manage the Knowledge Grid resources but also a programming environment for application...
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.