2 citations · 6 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 2 cited
Regular Expression Matching and Operational Semantics
Asiri Rathnayake, Hayo Thielecke
Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a d…
cs.LO2011
Proceedings Eight Workshop on Structural Operational Semantics 2011
M. A. Reniers, P. Sobocinski
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated work…