output
20072026
most citedTraffic Instabilities in Self-Organized Pedestrian Crowds

217 citations

researchers with a paper here
collaborating institutions
Showing 2008Show all

1 paper · 1 filter

cs.PL2008

Coinductive big-step operational semantics

Xavier Leroy, Hervé Grall

Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to de…