1021 search results - page 24 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
135
Voted
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
114
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
122
Voted
COORDINATION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
108
Voted
ENTCS
2000
15 years 2 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
134
Voted
AOSD
2010
ACM
15 years 3 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...