Sciweavers

2173 search results - page 30 / 435
» An operational semantics for skeletons
Sort
View
JOT
2007
74views more  JOT 2007»
13 years 7 months ago
A Dynamic Operational Semantics for JVML
Nadia Belblidia, Mourad Debbabi
TCS
2002
13 years 7 months ago
Operational and abstract semantics of the query language G-Log
Agostino Cortesi, Agostino Dovier, Elisa Quintarel...
BIRTHDAY
2009
Springer
13 years 5 months ago
Structural Operational Semantics for Weighted Transition Systems
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
Bartek Klin
IGPL
2006
115views more  IGPL 2006»
13 years 7 months ago
Towards Operational Abduction from a Cognitive Perspective
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
Peter Bruza, Richard Cole, Dawei Song, Zeeniya Bar...