2135 search results - page 32 / 427 » An Operational Semantics for JavaScript |
TCS
2002
15 years 3 months ago
2002
144
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
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...
119
Voted
IGPL
2006
15 years 3 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
122
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
133
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...