InProceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 , George C

A theory of platform-dependent low-level software · 2008 · DOI 10.1145/1328438

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.PL · 2019-07-11 · unverdicted · novelty 7.0

Smoosh is an executable semantics for the POSIX shell judged most conformant to the standard among seven other shells via multiple test suites.

Showing 1 of 1 citing paper.

Executable formal semantics for the POSIX shell cs.PL · 2019-07-11 · unverdicted · none · ref 17
Smoosh is an executable semantics for the POSIX shell judged most conformant to the standard among seven other shells via multiple test suites.