There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

DOI:: 10.1145/1133255.1134029

ScienceOpen disciplines: Theoretical computer science,Programming languages,Computer science

Data availability:

ScienceOpen disciplines: Theoretical computer science, Programming languages, Computer science

Termination proofs for systems code

Read this article at

Related collections

Smart Contracts Programming Languages

Author and article information

Journal

Comments

Comment on this article

Similar content 3,166

Cited by 7