this paper describes the design and implementation of a query engine that provides extended SQL-based access to the data managed by an object-oriented database system. this query engine allows extended SQL queries to ...
详细信息
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programminglanguages. Asynchronous languages such as CSP, ...
详细信息
ISBN:
(纸本)0897915607
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programminglanguages. Asynchronous languages such as CSP, OCCAM, or ADA are well-suited for distributed algorithms;their processes are loosely coupled and communication takes time. the ESTEREL synchronous language is dedicated to reactive systems;its processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Complex applications such as process or robot control require to couple both forms of concurrency, which is the object of CRP. A CRP program consists of independent locally reactive ESTEREL nodes that communicate with each other by CSP rendezvous. CRP faithfully extends both ESTEREL and CSP and adds new possibilities such as precise local watchdogs on rendezvous. We present the design of CRP, its semantics, a translation into classical process calculi for program verification, an application example, and implementation issues.
We describe Charm++, an object oriented portable parallel programminglanguage based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described....
详细信息
the conference materials contain 33 papers. the topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext...
详细信息
ISBN:
(纸本)089791595X
the conference materials contain 33 papers. the topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative extensions, compiling and performance evaluation, languagedesign, compiler optimization, static analysis, functional algorithms and partial evaluation.
this paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co...
详细信息
ISBN:
(纸本)0897914538
this paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to complex translator writing systems the same benefits of modularity found in modern programminglanguages, including comprehensibility, reusability, and incremental metal-compilation. A CAG is built from several smaller component AGs, each of which solves a particular subproblem, such as name analysis or register allocation. A component AG is based upon a simplified phrase-structure that reflects the properties of its subproblem rather than the phrase-structure of the source language. Different component phrase-structures for various subproblems are combined by mapping them into a phrase-structure for the source language. Both input and output attributes can be associated withthe terminal symbols of a component AG. Output attributes enable the results of solving a subproblem to be distributed back to anywhere that originally contributed part of the subproblem, e.g. transparently distributing the results of global name analysis back to every symbolic reference in the source program. After introducing CAGs by way of an example, we provide a formal definition of CAGs and their semantics. We describe a subclass of CAGs, called separable CAGs, that have favorable implementation properties. We discuss the novel aspects of CAGs, compare them to other proposals for inserting modularity into attribute grammars, and relate our experience using CAGs in the Linguist translator-writing system.
We describe a general module language integrating abstract data types, specifications and object-oriented concepts. the framework is based on the Standard ML module system, withthree main extensions: subtyping, a for...
详细信息
Two components of a VLSI design environment being built at Princeton are described. the general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is...
详细信息
this paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representat...
详细信息
this book constitutes the thoroughly refereed proceedings of the international workshops associated withthe 37th International conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vie...
详细信息
ISBN:
(数字)9783031949319
ISBN:
(纸本)9783031949302
this book constitutes the thoroughly refereed proceedings of the international workshops associated withthe 37th International conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16-20, 2025.
the total of 24 full papers and 5 short papers included in these proceedings were carefully reviewed and selected from 59 submissions. they stem from the following workshops:
- 3rd Workshop on Knowledge Graphs for Semantics-driven Systems Engineering (KG4SDSE)
- 3rd International Workshop on Hybrid Artificial Intelligence and Enterprise
- Modelling for Intelligent Information Systems (HybridAIMS)
- Joint Workshop on Blockchain for Information Systems Engineering (B4ISE) and Workshop on Information Systems and AI for Life Sciences (iSAILS)
- 3rd Workshop on Modelling and implementation of Digital Twins for Complex Systems (MIDas4CS)
- Joint Process Mining with Unstructured Data workshop (PMUD) and International Workshop on Multimodal Process Mining (MMPM)
- Joint Workshop on Large language Models in Service-Oriented Architectures design: Innovations and Applications (LLM-SOA) and Generation of Synthetic Datasets for Information Systems (GENSYN)
- 1st Workshop on Compliance in the Era of Artificial Intelligence (CAI).
暂无评论