Author: Michael James McCarthy
Publisher:
ISBN:
Category :
Languages : en
Pages : 458
Get Book Here
Book Description
This thesis presents a new method for performing incremental code generation in a distributed integrated programming environment. A prototype implementation of such an incremental code generator is also described. The study derives a new retargetable incremental instruction algorithm from a non-incremental instruction selection technique in the framework of a precise model of the underlying program representation. The resulting algorithm incrementally regenerates locally optimal object code after the replacement of a subtree in an abstract syntax tree program representation.
Author: Peter Fritzson
Publisher:
ISBN: 9789173728010
Category : Ada (Computer program language)
Languages : en
Pages : 161
Get Book Here
Book Description
Author: Manfred Nagl
Publisher: Springer Science & Business Media
ISBN: 9783540619857
Category : Business & Economics
Languages : en
Pages : 728
Get Book Here
Book Description
This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems. The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.
Author: Anil Allan Pal
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 280
Get Book Here
Book Description
Author: Mark Scott Johnson
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 220
Get Book Here
Book Description
Author: Sven Jörges
Publisher: Springer
ISBN: 3642361277
Category : Computers
Languages : en
Pages : 255
Get Book Here
Book Description
Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation of code generators, such as engines based on templates or rule-based transformations. All those techniques have in common that code generators are either directly programmed or described by means of textual specifications. This monograph presents Genesys, a general approach, which advocates the graphical development of code generators for arbitrary source and target languages, on the basis of models and services. In particular, it is designed to support incremental language development on arbitrary metalevels. The use of models allows building code generators in a truly platform-independent and domain-specific way. Furthermore, models are amenable to formal verification methods such as model checking, which increase the reliability and robustness of the code generators. Services enable the reuse and integration of existing code generation frameworks and tools regardless of their complexity, and at the same time manifest as easy-to-use building blocks which facilitate agile development through quick interchangeability. Both, models and services, are reusable and thus form a growing repository for the fast creation and evolution of code generators.
Author: Linkoeping University. Dept. of Computer and Information Science
Publisher:
ISBN:
Category : Code generators
Languages : en
Pages : 110
Get Book Here
Book Description
The program development environment resides on a host computer, while the program under development resides on a separate target computer. The incrementality and the distributed configuration impose special constraints that must be taken into account when writing a code generator for a new machine. The administration of code and data on the target machine is discussed and analyzed. A new runtime environment in the target is provided by creating an interface to an existing one. In DICE, the traditional compile, link and load passes are integrated and interleaved."
Author: Arne Haber
Publisher: Shaker Verlag GmbH
ISBN: 3844046976
Category : Computers
Languages : en
Pages : 400
Get Book Here
Book Description
Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods to support incremental modeling and the validation of system architectures. Therefore, a set detailed of requirements for architectural modeling and the simulation of system architectures is defined and MontiArc, a concrete ADL to model logical architectures of distributed, interactive systems, is derived. The language is based on the mathematical FOCUS [BS01] framework, which allows to simulate modeled systems in an event-based style. Code generators and a simulation framework provide means to continuously refine and test architectural models. To add new features or adapt the language to a new domain, a corresponding language extension method is presented to extend the syntax, language processing tools, and code generators of the ADL. A lightweight model library concept is presented which allows to develop and reuse component models and their implementation in a controlled and transparent way. The developed language, the simulator, and the language extension techniques have been examined in several case studies which either used or extended MontiArc.
Author: Robert Giegerich
Publisher: Springer Science & Business Media
ISBN: 1447135016
Category : Computers
Languages : en
Pages : 323
Get Book Here
Book Description
Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate the main directions which future research is likely to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.
Author:
Publisher:
ISBN:
Category : Embedded computer systems
Languages : en
Pages : 776
Get Book Here
Book Description
