PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Owens, Scott"

Author of the publication

copydeleteadd this publication to your clipboard
Regular-expression derivatives re-examined.

, , and . J. Funct. Program., 19 (2): 173-190 (2009)

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.

No persons found for author name Owens, Scott
add a person with the name Owens, Scott
 

Other publications of authors with the same name

A High-Assurance, High-Performance Hardware-Based Cross-Domain System., , , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 102-113. Springer, (2016)Syntactic Abstraction in Component Interfaces., , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 373-388. Springer, (2005)Adapting functional programs to higher order logic., and . Higher-Order and Symbolic Computation, 21 (4): 377-409 (2008)Mathematizing C++ concurrency., , , , and . POPL, page 55-66. ACM, (2011)Characterising renaming within OCaml's module system: theory and implementation., , , and . PLDI, page 950-965. ACM, (2019)Ott: Effective tool support for the working semanticist., , , , , , and . J. Funct. Program., 20 (1): 71-122 (2010)Proof producing synthesis of arithmetic and cryptographic hardware., , , and . Formal Asp. Comput., 19 (3): 343-362 (2007)Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation., , , and . J. Autom. Reasoning, 56 (3): 221-259 (2016)Compiling Higher Order Logic by Proof., , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 205-219. Springer, (2007)