( en | de | ru )

 

Disambiguation of "Sjöberg, Vilhelm"

Author of the publication

copydeleteadd this publication to your clipboard
Termination Casts: A Flexible Approach to Termination with General Recursion.

, , and . PAR@ITP, volume 5 of EPiC Series, page 84-100. EasyChair, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mats Sjöberg

Anne Elisabet Sjöberg

Vilhelm Dahllöf

Vilhelm Irgens Pettersson

 

Other publications of authors with the same name

Termination Casts: A Flexible Approach to Termination with General Recursion., , and . PAR@ITP, volume 5 of EPiC Series, page 84-100. EasyChair, (2010)How to Exploit a DeFi Project., , , and . Financial Cryptography Workshops, volume 12676 of Lecture Notes in Computer Science, page 162-167. Springer, (2021)Reactive noninterference., , , , and . ACM Conference on Computer and Communications Security, page 79-90. ACM, (2009)Safety and Liveness of MCS Lock - Layer by Layer., , , and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 273-297. Springer, (2017)Provably Correct Smart Contracts: An Approach using DeepSEA., , and . SPLASH Companion, page 5-6. ACM, (2022)Programming up to Congruence., and . POPL, page 369-382. ACM, (2015)Dependent interoperability., , and . PLPV, page 3-14. ACM, (2012)DeepSEA: a language for certified system software., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 136:1-136:27 (2019)Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)., , and . FMBC@CAV, volume 95 of OASIcs, page 3:1-3:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Step-Indexed Normalization for a Language with General Recursion, , and . MSFP, volume 76 of EPTCS, page 25-39. (2012)