( en | de | ru )

 

Disambiguierung von "Owens, Scott"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Big-Step Semantics.

, , , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 589-615. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christopher Owens

Marie Owens

Darryl Owens

John Owens

Jonathan Owens

 

Weitere Publikationen von Autoren mit dem selben Namen

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