Login / Signup
Lee Barnett
Publication Activity (10 Years)
Years Active: 2004-2020
Publications (10 Years): 1
Top Topics
Operational Semantics
Rewrite Systems
Theorem Prover
Programming Environment
Top Venues
CoRR
</>
Publications
</>
David A. Plaisted
,
Lee Barnett
A Term-Rewriting Semantics for Imperative Style Programming.
CoRR
(2020)
Lee Barnett
,
Shahin Rahimifard
,
Stephen T. Newman
Distributed scheduling to support mass customization in the shoe industry.
Int. J. Comput. Integr. Manuf.
17 (7) (2004)