( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Functional Big-Step Semantics.

, , , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 589-615. Springer, (2016)

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.

Christopher Owens

Marie Owens

Darryl Owens

John Owens

Jonathan Owens

 

Другие публикации лиц с тем же именем

Syntactic Abstraction in Component Interfaces., , и . GPCE, том 3676 из Lecture Notes in Computer Science, стр. 373-388. Springer, (2005)Characterising renaming within OCaml's module system: theory and implementation., , , и . PLDI, стр. 950-965. ACM, (2019)Deformable Volumes in Path Planning Applications., , , и . ICRA, стр. 2290-2295. IEEE, (2000)Steps towards Verified Implementations of HOL Light., , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 490-495. Springer, (2013)Synchronising C/C++ and POWER., , , , , , , и . PLDI, стр. 311-322. ACM, (2012)Lem: reusable engineering of real-world semantics., , , , и . ICFP, стр. 175-188. ACM, (2014)A verified type system for CakeML., , и . IFL, стр. 7:1-7:12. ACM, (2015)An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 495-512. Springer, (2012)HOL with Definitions: Semantics, Soundness, and a Verified Implementation., , , и . ITP, том 8558 из Lecture Notes in Computer Science, стр. 308-324. Springer, (2014)CakeML: a verified implementation of ML., , , и . POPL, стр. 179-192. ACM, (2014)