Sciweavers

2106 search results - page 15 / 422

» Operational Semantics for DyLPs

22

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 9 months ago

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Download www.cse.unsw.edu.au

Traian-Florin Serbanuta, Grigore Rosu, José...

claim paper

Read More »

14

JOT
2007

74views more JOT 2007»

A Dynamic Operational Semantics for JVML

13 years 9 months ago

A Dynamic Operational Semantics for JVML

Download users.encs.concordia.ca

Nadia Belblidia, Mourad Debbabi

claim paper

Read More »

16

ENTCS
2002

67views more ENTCS 2002»

Well-behaved Translations between Structural Operational Semantics

13 years 9 months ago

Well-behaved Translations between Structural Operational Semantics

Download scfdb.tokyo.jst.go.jp

Hiroshi Watanabe

claim paper

Read More »

17

TCS
2002

80views Theoretical Computer Science» more TCS 2002»

Operational and abstract semantics of the query language G-Log

13 years 9 months ago

Operational and abstract semantics of the query language G-Log

Download users.dimi.uniud.it

Agostino Cortesi, Agostino Dovier, Elisa Quintarel...

claim paper

Read More »

32

BIRTHDAY
2009
Springer

127views Applied Computing» more BIRTHDAY 2009»

Structural Operational Semantics for Weighted Transition Systems

13 years 7 months ago

Structural Operational Semantics for Weighted Transition Systems

Download www.mimuw.edu.pl

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

claim paper

Read More »

« Prev « First page 15 / 422 Last » Next »