Sciweavers

5451 search results - page 77 / 1091

» Typed Operational Semantics

111

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 »

79

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 »

81

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 »

74

TCS
2002

80views Theoretical Computer Science» more TCS 2002»

Operational and abstract semantics of the query language G-Log

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

139

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 77 / 1091 Last » Next »