A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as...
详细信息
A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as to prevent the behavior of the program from depending on any accidents of execution order that can arise from the indeterminacy of the asynchronous process model. These restrictions may be enforced either dynamically (at run time) or statically (at compile time). This paper concentrates on dynamic enforcement, and exhibit an implementation of a parallel dialect of Scheme based on these ideas. A single successful execution of a parallel program in this model constitutes a proof that the program is free of race conditions (for that particular set of input data). Speculations are offered on a design for a programminglanguage using static enforcement.
This paper introduces a model based formal designlanguage aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular ...
详细信息
This paper describes design issues encountered developing a reusable component library. The design applied encapsulation, inheritance, composition and type parameterization. The implementation uses various C++ mechani...
详细信息
ISBN:
(纸本)9780897914116
This paper describes design issues encountered developing a reusable component library. The design applied encapsulation, inheritance, composition and type parameterization. The implementation uses various C++ mechanisms, including: virtual and static member functions, templates, and *** resulting library contains about 500 components (mostly template classes and functions) and an optional utility for instantiating templates. The components provide variations of basic collection/container abstractions with various time and space complexities.A key insight gained from this project: the design process centered on developing a “template for the templates” — designing a component framework and orderly process for generating the template classes.
This paper demonstrates that the CLOS metaobject protocol approach to defining and implementing an object model is very powerful. CLOS is an object-oriented language that is based on Common Lisp and is in the process ...
详细信息
ISBN:
(纸本)9780897914116
This paper demonstrates that the CLOS metaobject protocol approach to defining and implementing an object model is very powerful. CLOS is an object-oriented language that is based on Common Lisp and is in the process of being standardized. implementations of CLOS are themselves object-oriented with all major building blocks of the language being instances of system classes. A metaobject protocol provides a framework for CLOS implementations by specifying the hierarchy of these classes and the order and contents of the communication among their instances. This design has made CLOS both flexible and portable, two design goals that traditionally conflict. In support of this suggestion we present a detailed account of how we added object persistence to CLOS without modifying any of the language's implementation code.
An overview is provided of Interacting Processes (IP), a language for the design and implementation of distributed reactive systems based on multiparty interactions. A multiparty interaction is a primitive for both sy...
详细信息
An overview is provided of Interacting Processes (IP), a language for the design and implementation of distributed reactive systems based on multiparty interactions. A multiparty interaction is a primitive for both synchronization and communication among any number of processes. IP contains an abstraction construct called a team, which encapsulates groups of multiparty interactions. In addition, IP includes a superimposition operator allowing separation of concerns in design.
作者：
Wheeler, James G.STSC
Inc 2115 East Jefferson Street RockvilleMD20852 United States
APL∗PLUS II is a second-generation 32-bit APL interpreter that runs tinder the MS DOS operating system, A recent release has introduced two new system functions - ONA and OMLOAD - that enable APL to dynamically load a...
详细信息
ISBN:
(纸本)089791371X
APL∗PLUS II is a second-generation 32-bit APL interpreter that runs tinder the MS DOS operating system, A recent release has introduced two new system functions - ONA and OMLOAD - that enable APL to dynamically load and execute programs written written in compiled languages such as C and Fortran. These enhancements presented both design and implementation challenges. On the design side, it was-necessary to make it as easy as possible for the APL programmer to integrate non-APL routines into applications. The implementation side required considerable technical creativity and invention, since the MS DOS environment provides no built-in functions for dynamic loading and execution of programs.
The authors discuss the design and implementation of a type checker for an advanced specification language using an attribute grammar tool. The design specifically addresses language features, such as generic paramete...
详细信息
ISBN:
(纸本)0818620099
The authors discuss the design and implementation of a type checker for an advanced specification language using an attribute grammar tool. The design specifically addresses language features, such as generic parameters, name and operator overloading, subtypes, importation, and inheritance, which are especially important for large software system specification. The authors discuss the issues involved in handling the non-block structured nature of the specification language, as well as its need to interface with other tools and interact with users to check constraints that are difficult to decide in the general case.
The design of a communication system reflects many decisions made after analysis of the requirements and evaluation of the goals of a particular program. This paper describes the key characteristics and design process...
详细信息
A subset of the programminglanguage Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational...
详细信息
ISBN:
(纸本)0818620099
A subset of the programminglanguage Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational semantics, which made the implementation of the algorithm particularly simple in the programminglanguage ML. Properties of a concurrent Ada program can be studied by analyzing the Petri-net model. It is possible to determine the possible interleavings of statements and do static dead-lock detection. The authors investigate applying the models of Ada programs to the problem of determining which program segments form the critical path in the time it takes for execution of an Ada program.
This paper presents the THOMSON CSF design methodology used on large Real-Time Ada projects compliant with the DOD-STD-2167A standard. This design methodology was defined within the context of the RMR radar software p...
详细信息
暂无评论