1588 search results - page 54 / 318 » Modular action language |
134
click to vote
ENTCS
2006
15 years 2 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
132
Voted
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
126
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
159
click to vote
ESOP
1992
Springer
15 years 6 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
237
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...