Phoan is an experimental system for the specification and synthesis of control software over suitably restricted domains;its initial application domain is control software for distributed telephone systems. Phoan prov...
详细信息
Automatic programming (AP) systems have been used in a great variety of ways since the early days of software engineering. They have been used in Al related research approaches with the nun to generate computer progra...
详细信息
ISBN:
(纸本)3540411720
Automatic programming (AP) systems have been used in a great variety of ways since the early days of software engineering. They have been used in Al related research approaches with the nun to generate computer programs from informal, incomplete, natural language-like specifications as well as in more pragmatic approaches related to 4th level languages. Terms such as "application generator", "transformational system", "code synthesizer", "generative software development" were used for naming various approaches to AP. This paper presents a categorization scheme for AP systems. In this categorization scheme, a clear distinction is made between the Al related, hard AP- and soft AP systems. Alter that, a broad range of AP systems as well as their position in the categorization scheme is presented. Finally we discuss the relation between AP and software reuse.
The design and implementation of complex software systems inherently spans multiple levels of abstractions. The concepts of each level of abstractions and their interplay are represented by formal languages that are e...
详细信息
ISBN:
(纸本)9780769528564
The design and implementation of complex software systems inherently spans multiple levels of abstractions. The concepts of each level of abstractions and their interplay are represented by formal languages that are either implicitly known or explicitly defined. Achieving high productivity in software development and maintenance is thus strongly connected with ruling the complexity of multi-level language design and evolution. This paper explains the necessity for automating multi-level language evolution, discusses its challenges and proposes concepts as well as a prototypical tool that support the incremental co-evolution of a staged language and program generation architecture. This approach reduces the cost of language maintenance and paves the ground for an incremental and bottom-up oriented way of developing domain specific languages.
This paper provides an overview of an experimental system developed at the IBM T. J. Watson Research Center. It consists of a running hardware prototype, a control program and an optimizing compiler. The basic concept...
详细信息
Given the inorder and preorder traversal of a binary tree whose labels are all distinct, one can reconstruct the tree. This article examines two existing algorithms for rebuilding the tree in a functional framework, u...
详细信息
Code cloning is a duplication of source code fragments that frequently occurs in large software systems. Although different studies exist that evidence cloning benefits, several others expose its harmfulness, specific...
详细信息
The proceedings contain 26 papers. The topics discussed include: hardware/software cooperation in the iAPX-432;hardware/software tradeoffs for increased performance;coding guidelines for pipelined processors;an overvi...
ISBN:
(纸本)0897910664
The proceedings contain 26 papers. The topics discussed include: hardware/software cooperation in the iAPX-432;hardware/software tradeoffs for increased performance;coding guidelines for pipelined processors;an overview of the mesa processor architecture;the 801 minicomputer;register allocation for free: the c machine stack cache;an architectural alternative to optimizing compilers;systematic protection mechanism design;on a general property of memory mapping tables;an experiment to improve operand addressing;and architectural support fob the efficient generation of code for horizontal architectures.
The proceedings contain 13 papers. The topics discussed include: practical ambiguity detection for context-free grammars;generating semantic editors using reference attribute grammars;zipper-based embedding of modern ...
The proceedings contain 13 papers. The topics discussed include: practical ambiguity detection for context-free grammars;generating semantic editors using reference attribute grammars;zipper-based embedding of modern attribute grammar extensions;automata based method for domain-specific languages definition;test case generation for programming language metamodels;lenses for view synchronization in metamodel-based multi-view modeling;analyzing dynamic models using a dataflow based approach;using SLE for creation of data warehouses;domain-specific languages for digital forensics;towards better support for pattern-oriented software development;using product lines to manage variability in mobile context-aware applications;towards privacy policy-aware web-based systems;and user-centric programming language.
The proceedings contain 24 papers. The topics discussed include: IDEOSY - an ideographic and interactive program description system;GNOME: an introductory programming environment based on a family of structure editors...
ISBN:
(纸本)0897911318
The proceedings contain 24 papers. The topics discussed include: IDEOSY - an ideographic and interactive program description system;GNOME: an introductory programming environment based on a family of structure editors;techniques for improving language-based editors;viewing a programming environment as a single tool;Arcturus: a prototype advanced Ada® programming environment;ISDE: an interactive software development environment;the Poe language-based editor project;graphical program development with PECAN program development systems;the synthesizer generator;the SAGA project: a system for software development;a small contribution to editing with a syntax directed editor;monitoring in a software development environment: a relational approach;preliminary experience with a configuration control system for modular programs;document structure and modularity in mentor;computer-aided software engineering in a distributed workstation environment;preliminary experience from the dice system a distributed incremental compiling environment;implementing relational views of programs;Phoan: an intelligent system for distributed control synthesis;the Darwin software-evolution environment;generation scavenging: a non-disruptive high performance storage reclamation algorithm;USSR: a new framework for redoing;the program dependence graph in a software development environment;and a cognitively-based methodology for designing languages/environments/methodologies.
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying collectors, mark and sweep collectors r...
详细信息
暂无评论