603 search results - page 95 / 121 » A Formal Operational Semantics for SOFL |
130
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
145
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
118
click to vote
ISOLA
2010
Springer
15 years 10 days ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
122
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
108
Voted
CC
2010
Springer
15 years 8 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...