Searching for "Coinductive big-step operational semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Coinductive big-step operational semantics
by Xavier Leroy — 2006 — In European Symposium on Programming (ESOP 2006
…Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B…
Cited by 8 (2 self) – Add To MetaCart

Preface Special Issue on Structural Operational Semantics
by Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski
…. Coinductive Big-Step Operational Semantics, by Xavier Leroy and Hervé Grall, illustrates the use…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB