Sciweavers

2106 search results - page 15 / 422

» Operational Semantics for DyLPs

112

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

15 years 3 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 »

80

Voted

JOT
2007

74views more JOT 2007»

A Dynamic Operational Semantics for JVML

15 years 3 months ago

A Dynamic Operational Semantics for JVML

Download users.encs.concordia.ca

Nadia Belblidia, Mourad Debbabi

claim paper

Read More »

83

Voted

ENTCS
2002

67views more ENTCS 2002»

Well-behaved Translations between Structural Operational Semantics

15 years 3 months ago

Well-behaved Translations between Structural Operational Semantics

Download scfdb.tokyo.jst.go.jp

Hiroshi Watanabe

claim paper

Read More »

75

TCS
2002

80views Theoretical Computer Science» more TCS 2002»

Operational and abstract semantics of the query language G-Log

15 years 3 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 »

141

BIRTHDAY
2009
Springer

127views Applied Computing» more BIRTHDAY 2009»

Structural Operational Semantics for Weighted Transition Systems

15 years 1 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 »