Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 8.
2010
Slind, Konrad and Li, Guodong and Owens, Scott (2010) Compiling Higher Order Logic by Proof. In: Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer, pp. 193-220. ISBN 978-1-4419-1539-9. (doi:https://doi.org/10.1007/978-1-4419-1539-9_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2008
Owens, Scott and Slind, Konrad (2008) Adapting Functional Programs to Higher-Order Logic. Higher-Order and Symbolic Computation, 21 (4). pp. 377-409. ISSN 1388-3690. (doi:https://doi.org/10.1007/s10990-008-9038-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2007
Slind, Konrad and Owens, Scott and Iyoda, Juliano and Gordon, Mike (2007) Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. Formal Aspects of Computing, 19 (3). pp. 343-362. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-007-0028-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Li, Guodong and Owens, Scott and Slind, Konrad (2007) Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. In: Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007. (doi:https://doi.org/10.1007/978-3-540-71316-6_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2006
Gordon, Mike and Iyoda, Juliano and Owens, Scott and Slind, Konrad (2006) Automatic Formal Synthesis of Hardware from Higher Order Logic. Electronic Notes in Theoretical Computer Science, 145 (?). pp. 27-43. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2005.10.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2005
Duan, Jianjun and Hurd, Joe and Li, Guodong and Owens, Scott and Slind, Konrad and Zhang, Junxing (2005) Functional Correctness Proofs of Encryption Algorithms. In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005. (doi:https://doi.org/10.1007/11591191_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Gordon, Mike and Iyoda, Juliano and Owens, Scott and Slind, Konrad (2005) A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings. (Full text available) |
2003
Owens, Scott and Slind, Konrad (2003) Proving as Programming with DrHOL: A Preliminary Design. In: Technical report 189. Institut für Informatik, Albert-Ludwigs-Universität Freiburg pp. 123-132. (Full text available) |