LETOS - a lightweight execution tool for operational semantics
- 25 December 1999
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 29 (15) , 1379-1416
- https://doi.org/10.1002/(sici)1097-024x(19991225)29:15<1379::aid-spe286>3.0.co;2-v
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Using formal methods to cultivate trust in smart card operating systemsFuture Generation Computer Systems, 1997
- Executing formal specifications need not be harmfulSoftware Engineering Journal, 1996
- How to Write a ProofThe American Mathematical Monthly, 1995
- Communication lifting: fixed point computation for parallelismJournal of Functional Programming, 1995
- Executing continuation semantics: A comparisonSoftware: Practice and Experience, 1993
- Higher-order functions for parsingJournal of Functional Programming, 1992
- EXPOSE: an animation tool for process-oriented specificationsSoftware Engineering Journal, 1991
- Executable semantic descriptionsSoftware: Practice and Experience, 1986
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965