Sciweavers

3824 search results - page 239 / 765
» Geometry Constructions Language
Sort
View
ENTCS
2008
78views more  ENTCS 2008»
15 years 4 months ago
Silver: an Extensible Attribute Grammar System
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krish...
WORDS
2003
IEEE
15 years 9 months ago
Extending UML towards a Useful OO-Language for Modeling Dependability Features
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
M. Dal Cin
APLAS
2003
ACM
15 years 9 months ago
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
Xiaoju Dong, Yuxi Fu
99
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
AI
2009
Springer
15 years 8 months ago
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
Rahmatullah Hafiz