Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

17th ACL2 2022: 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/abs-2205-11103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11103
Rob Sumners, Cuong Chau:
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. EPTCS 359, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11694
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11694
Ruben Gamboa, Woodrow Gamboa:
All Prime Numbers Have Primitive Roots. 9-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11695
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11695
Ruben Gamboa, Alicia Thoney:
Using ACL2 To Teach Students About Software Testing. 19-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11697
David A. Greve, Jennifer A. Davis, Laura R. Humphrey:
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A. 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-13345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-13345
David M. Russinoff:
Properties of the Hebrew Calendar. 48-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11698
Warren A. Hunt Jr., Vivek Ramanathan, J Strother Moore:
VWSIM: A Circuit Simulator. 61-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11699
Jagadish Bapanapally, Ruben Gamboa:
A Free Group of Rotations of Rank 2. 76-82
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11700
William D. Young:
Modeling Asymptotic Complexity Using ACL2. 83-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-13347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-13347
David M. Russinoff:
A Formalization of Finite Group Theory. 99-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11703
Mertcan Temel:
Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2. 116-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11704
Andrew T. Walter, Panagiotis Manolios:
ACL2s Systems Programming. 134-150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11706
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai:
Syntheto: A Surface Language for APT and ACL2. 151-167
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11707
Alessandro Coglio:
A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java. 168-184
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11708
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11708
Alessandro Coglio:
A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2. 185-201
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11709
David S. Hardin:
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2. 202-216

a service of

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.