Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247502605> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4247502605 abstract "The ACL2 theorem prover---the current incarnation of the Boyer-Moore theorem prover---is a theorem prover for an extension of a first-order, applicative subset of Common Lisp. The ACL2 system provides a useful specification and modeling language as well as a useful mechanical theorem proving environment. ACL2 is in use at several major microprocessor manufacturers to verify functional correctness of important components of commercial designs. This talk explores the design of ACL2 and the tradeoffs that have turned out to be pivotal to its success." @default.
- W4247502605 created "2022-05-12" @default.
- W4247502605 creator A5072761449 @default.
- W4247502605 date "2012-01-25" @default.
- W4247502605 modified "2023-10-16" @default.
- W4247502605 title "Meta-level features in an industrial-strength theorem prover" @default.
- W4247502605 doi "https://doi.org/10.1145/2103656.2103707" @default.
- W4247502605 hasPublicationYear "2012" @default.
- W4247502605 type Work @default.
- W4247502605 citedByCount "0" @default.
- W4247502605 crossrefType "proceedings-article" @default.
- W4247502605 hasAuthorship W4247502605A5072761449 @default.
- W4247502605 hasConcept C108710211 @default.
- W4247502605 hasConcept C159718280 @default.
- W4247502605 hasConcept C190883126 @default.
- W4247502605 hasConcept C199343813 @default.
- W4247502605 hasConcept C199360897 @default.
- W4247502605 hasConcept C203265346 @default.
- W4247502605 hasConcept C206880738 @default.
- W4247502605 hasConcept C2524010 @default.
- W4247502605 hasConcept C2777686260 @default.
- W4247502605 hasConcept C2778029271 @default.
- W4247502605 hasConcept C33923547 @default.
- W4247502605 hasConcept C41008148 @default.
- W4247502605 hasConcept C55439883 @default.
- W4247502605 hasConcept C71924100 @default.
- W4247502605 hasConceptScore W4247502605C108710211 @default.
- W4247502605 hasConceptScore W4247502605C159718280 @default.
- W4247502605 hasConceptScore W4247502605C190883126 @default.
- W4247502605 hasConceptScore W4247502605C199343813 @default.
- W4247502605 hasConceptScore W4247502605C199360897 @default.
- W4247502605 hasConceptScore W4247502605C203265346 @default.
- W4247502605 hasConceptScore W4247502605C206880738 @default.
- W4247502605 hasConceptScore W4247502605C2524010 @default.
- W4247502605 hasConceptScore W4247502605C2777686260 @default.
- W4247502605 hasConceptScore W4247502605C2778029271 @default.
- W4247502605 hasConceptScore W4247502605C33923547 @default.
- W4247502605 hasConceptScore W4247502605C41008148 @default.
- W4247502605 hasConceptScore W4247502605C55439883 @default.
- W4247502605 hasConceptScore W4247502605C71924100 @default.
- W4247502605 hasLocation W42475026051 @default.
- W4247502605 hasOpenAccess W4247502605 @default.
- W4247502605 hasPrimaryLocation W42475026051 @default.
- W4247502605 hasRelatedWork W132718825 @default.
- W4247502605 hasRelatedWork W1515169568 @default.
- W4247502605 hasRelatedWork W1636183340 @default.
- W4247502605 hasRelatedWork W2001092196 @default.
- W4247502605 hasRelatedWork W2606289262 @default.
- W4247502605 hasRelatedWork W2797950816 @default.
- W4247502605 hasRelatedWork W2950845427 @default.
- W4247502605 hasRelatedWork W2964806919 @default.
- W4247502605 hasRelatedWork W4299834033 @default.
- W4247502605 hasRelatedWork W2160343832 @default.
- W4247502605 isParatext "false" @default.
- W4247502605 isRetracted "false" @default.
- W4247502605 workType "article" @default.