Lobsters
- Formally-Verified Interpreter for a Shell-like, Programming Language (2017) https://hal-univ-diderot.archives-ouvertes.fr/hal-01534747/document 4 comments compsci , formalmethods , programming
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hal-univ-diderot.archives-ouvertes.fr
Search title: Formally-Verified Interpreter for a Shell-like, Programming Language (2017)
See how to search.