A Rewriting-Based Approach to OO Language Prototyping and Design
نویسندگان
چکیده
This paper introduces a framework for the rapid prototyping of object oriented programming languages. This framework is based on specifying the semantics of a language using term rewriting and a continuation-based representation of control. The notation used, called K, has been developed specifically for programming languages to overcome limitations in more general rewriting notation, and provides for more compact and modular language definitions. The K notation is used to define KOOL, a dynamic object-oriented language with many features found in mainstream object-oriented languages. The ability to rapidly prototype language features is shown both in the definition of KOOL and in the creation of a concurrent extension to the language.
منابع مشابه
UML Packages for PROgrammed Graph REwriting Systems Andreas
Specification and rapid prototyping of graph manipulation software by means of PROgrammed Graph REwriting Systems (PROGRES) is a paradigm, which attracts more and more interest in various fields of computer science. Nowadays produced specifications for process modeling tools, database query languages, etc. have a typical size of about 100 to 300 printed pages. They suffer severely from the lack...
متن کاملEecient Address Translation Simulation
In this paper we describe the implementation of a multi-threaded trace-driven address translation simulator built using Object Oriented (OO) and design pattern principles. Address translation mechanisms generally use a cache-based translation lookaside buuer of recent translations of process virtual addresses to physical addresses. More diverse regimes are possible but are not generally handled...
متن کاملUML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays the mostly adopted software-engineering means for information systems (IS). Nevertheless, due to this wide-acceptance by all organization stakeholders several enhancements at the modelling level are required before adv...
متن کاملRotor Sizing of Helicopters Using Statistical Approach
This paper is concerned with the statistical model development issues, necessary for rapid estimation of the rotor sizing for single main rotor helicopters at the preliminary design stage. However, Central Composite Design (CCD) method, simulation-based data collection, linear regression analysis, mathematical modelsdevelopmentand validations through the analysis of variance (ANOVA) were perfor...
متن کاملRapid Prototyping of Specification Language Implementations
Specification languages such as LOTOS and SDL play an important rôle in the design and implementation of distributed systems. Their formal syntax and semantics supports the development of compilers and of verification tools. This paper introduces a generic and uniform approach to support such languages in verification tools. We present a compiler generator which, given the description of a spec...
متن کامل