default search action

combined dblp search
author search
venue search
publication search

ask others

13th ACL2 2015: Austin, TX, USA

> Home > Conferences and Workshops > ACL2

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaufmannR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaufmannR15
Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SwordsD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SwordsD15
Sol Swords, Jared Davis:
Fix Your Types. 3-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Coglio15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Coglio15
Alessandro Coglio:
Second-Order Functions and Theorems in ACL2. 17-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChauKH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChauKH15
Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.:
Fourier Series Formalization in ACL2(r). 35-51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CowlesG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CowlesG15
John R. Cowles, Ruben Gamboa:
Perfect Numbers in ACL2. 53-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PengG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PengG15
Yan Peng, Mark R. Greenstreet:
Extending ACL2 with SMT Solvers. 61-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hardin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hardin15
David S. Hardin:
Reasoning About LLVM Code Using Codewalker. 79-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Moore15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Moore15a
J Strother Moore:
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States. 93-109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JainM15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JainM15a
Mitesh Jain, Panagiotis Manolios:
Proving Skipping Refinement with ACL2s. 111-127

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.