1375 search results - page 39 / 275 » SDL-2000: A Language with a Formal Semantics |
FLAIRS
2008
14 years 10 months ago
2008
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
88
Voted
ENTCS
2006
14 years 9 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
ECEASST
2010
14 years 4 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...