Sciweavers

2135 search results - page 31 / 427

» An Operational Semantics for JavaScript

16

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

13 years 7 months ago

A Proof Theoretic Approach to Operational Semantics

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

16

ENTCS
2007

84views more ENTCS 2007»

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

13 years 7 months ago

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

Download www.cse.unsw.edu.au

Adrian Pop, Peter Fritzson

claim paper

Read More »

15

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 7 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 »

13

JOT
2007

74views more JOT 2007»

A Dynamic Operational Semantics for JVML

13 years 7 months ago

A Dynamic Operational Semantics for JVML

Download users.encs.concordia.ca

Nadia Belblidia, Mourad Debbabi

claim paper

Read More »

15

ENTCS
2002

67views more ENTCS 2002»

Well-behaved Translations between Structural Operational Semantics

13 years 7 months ago

Well-behaved Translations between Structural Operational Semantics

Download scfdb.tokyo.jst.go.jp

Hiroshi Watanabe

claim paper

Read More »

« Prev « First page 31 / 427 Last » Next »