6054 search results - page 256 / 1211 » Implementation of Andorra-based Languages |
173
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
165
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
152
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
202
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
360
click to vote
FM
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...