Sciweavers

2173 search results - page 30 / 435
» An operational semantics for skeletons
Sort
View
60
Voted
JOT
2007
74views more  JOT 2007»
15 years 11 days ago
A Dynamic Operational Semantics for JVML
Nadia Belblidia, Mourad Debbabi
58
Voted
TCS
2002
15 years 4 days ago
Operational and abstract semantics of the query language G-Log
Agostino Cortesi, Agostino Dovier, Elisa Quintarel...
110
Voted
BIRTHDAY
2009
Springer
14 years 10 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
91
Voted
IGPL
2006
115views more  IGPL 2006»
15 years 15 days 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...