Patent
Software development infrastructure
Vinod Grover,Charles L. Mitchell,David Mitford Gillies,Mark Leslie Roberts,Mark Ronald Plesko,David Tarditi,Andrew James Edwards,Julian Burger,Andrew E. Ayers,Akella V. S. Sastry +9 more
- 25 Jul 2003
67
TL;DR: In this paper, a software development architecture is provided for constructing a wide range of software development tools, which can use any combination of the following: a software scenario independent intermediate representation format, one or more exception handling models capable of supporting a plurality of programming language specific exception-handling models, a type system capable of representing the type representations of a multiplicity of source languages, and a code generator capable of generating code targeted for different execution architectures.
read more
Abstract: A software development architecture is provided for constructing a wide range of software development tools. A software development tool can be created by integrating a specification specifying functionality specific to a set of software development scenarios into a software development scenario-independent framework. The integrated specification can then be compiled to create the software development tool. Alternatively, integration can be achieved at runtime without access to source code. The architecture can use any combination of the following: a software scenario independent intermediate representation format, one or more exception handling models capable of supporting a plurality of programming language specific exception handling models, a type system capable of representing the type representations of a plurality of source languages, and a code generator capable of generating code targeted for a plurality of execution architectures.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Managing runtime execution of applications on cloud computing systems
Navendu Jain
- 05 May 2010
TL;DR: In this paper, a monitor application is generated from a specification, which defines properties of the application/cloud to monitor and rules based on the properties each rule may have one or more conditions Each monitor instance running on a host, monitors execution of the corresponding application instance on that host by obtaining from the host information regarding values of properties on the host per the application instance.
322
Patent
Assessment and analysis of software security flaws in virtual machines
Chris Wysopal,Matthew Patrick Moynahan,Jon Stevenson +2 more
- 07 Jun 2011
TL;DR: In this paper, the authors present an approach to link security analysis and vulnerability testing results to the actual software it describes by linking the results to software itself, so that downstream users can access information about the software, make informed decisions about implementation of the software and analyze the security risk across an entire system.
129
Patent
Software analysis framework
Christien R. Rioux
- 04 Jun 2014
TL;DR: The nanocode decompiler as mentioned in this paper is a decompilation method for parsing executable code, identifying and recursively modeling data flows and control flow, and iteratively refining these models to provide a complete model at the nano-code level.
117
Patent
Systems and methods for incremental software development
Mahesh Somani,Kumar Rethinakaleeswaran,Diptikalyan Saha,David William Dodd,Suresh Mathew +4 more
- 20 Jun 2011
TL;DR: In this paper, the source code for the at least one of the plurality of binary libraries is presented to the user and the modified source code is compiled to produce compiled modified code.
75
Patent
Method and System for presenting and analyzing software source code through intermediate representation
Kan Zhao
- 09 Jan 2008
TL;DR: In this paper, a method and system for producing intermediate representation of source code listings with possibly mixed syntaxes to assist software development applications in presenting and analyzing the source code listing through reading the intermediate representation.
66
References
Patent
Verifier to check intermediate language
Andrew D. Gordon,Don Syme,Jonathan A. Forbes,Vance P. Morrison +3 more
- 19 Feb 2003
TL;DR: In this article, a computer-implemented method is proposed to verify metadata of an intermediate language code for consistency and accuracy, and then verify the intermediate language codes for consistency.
221
Patent
Method and apparatus for pre-processing and packaging class files
Nedim Fresko,Richard San Francisco Tuck +1 more
- 28 Oct 1998
TL;DR: In this article, a pre-processor examines each class file in a set of class files to locate duplicate information in the form of redundant constants contained in a constant pool, and all occurrences of the constant are removed from the respective constant pools of the individual class files.
218
Patent
Systems and methods and implementing exception handling using exception registration records stored in stack memory
Peter Kukol
- 15 Jun 1994
TL;DR: In this article, a development system having a compiler that allows programmers and software developers to more efficiently develop compiled applications with runtime exception handling support is described, where the compiler implements methods for handling exceptions, which may occur during runtime execution of the program.
198
Patent
Methods to support multimethod function overloading with compile-time type checking
Rakesh Agrawal,Linda Gail De Michiel,Bruce G. Lindsay +2 more
- 30 Sep 1991
TL;DR: In this article, the authors propose methods and related apparatus for compile-time type checking for overloaded functions in an environment supporting subtypes with multiple inheritance, and they consider the type of all actual arguments of a function to select a proper function instance to execute.
185