1009 search results - page 149 / 202 » transML: A Family of Languages to Model Model Transformation... |
195
click to vote
CN
1999
15 years 6 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
182
click to vote
PEPM
2007
ACM
16 years 12 days ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
155
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
179
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
167
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...