1704 search results - page 160 / 341 » Design of a Concurrent and Distributed Language |
114
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
137
click to vote
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
127
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
113
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
114
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...