Matches in SemOpenAlex for { <https://semopenalex.org/work/W1413842933> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1413842933 endingPage "101" @default.
- W1413842933 startingPage "84" @default.
- W1413842933 abstract "ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp’s unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not automatically protect their producers or consumers from accidental variable capture. This paper demonstrates how this lack of hygiene interferes with theorem proving. It then explains how to design and implement a hygienic macro system for ACL2. An evaluation of the ACL2 code base shows the potential impact of this hygienic macro system on existing libraries and practices." @default.
- W1413842933 created "2016-06-24" @default.
- W1413842933 creator A5000905628 @default.
- W1413842933 creator A5014511753 @default.
- W1413842933 date "2011-01-01" @default.
- W1413842933 modified "2023-10-10" @default.
- W1413842933 title "Hygienic Macros for ACL2" @default.
- W1413842933 cites W1501205670 @default.
- W1413842933 cites W1973186567 @default.
- W1413842933 cites W2002301065 @default.
- W1413842933 cites W2017441562 @default.
- W1413842933 cites W2029786195 @default.
- W1413842933 cites W2041042116 @default.
- W1413842933 doi "https://doi.org/10.1007/978-3-642-22941-1_6" @default.
- W1413842933 hasPublicationYear "2011" @default.
- W1413842933 type Work @default.
- W1413842933 sameAs 1413842933 @default.
- W1413842933 citedByCount "4" @default.
- W1413842933 countsByYear W14138429332013 @default.
- W1413842933 countsByYear W14138429332020 @default.
- W1413842933 countsByYear W14138429332021 @default.
- W1413842933 crossrefType "book-chapter" @default.
- W1413842933 hasAuthorship W1413842933A5000905628 @default.
- W1413842933 hasAuthorship W1413842933A5014511753 @default.
- W1413842933 hasConcept C166955791 @default.
- W1413842933 hasConcept C190883126 @default.
- W1413842933 hasConcept C199360897 @default.
- W1413842933 hasConcept C206880738 @default.
- W1413842933 hasConcept C2779353305 @default.
- W1413842933 hasConcept C41008148 @default.
- W1413842933 hasConceptScore W1413842933C166955791 @default.
- W1413842933 hasConceptScore W1413842933C190883126 @default.
- W1413842933 hasConceptScore W1413842933C199360897 @default.
- W1413842933 hasConceptScore W1413842933C206880738 @default.
- W1413842933 hasConceptScore W1413842933C2779353305 @default.
- W1413842933 hasConceptScore W1413842933C41008148 @default.
- W1413842933 hasLocation W14138429331 @default.
- W1413842933 hasOpenAccess W1413842933 @default.
- W1413842933 hasPrimaryLocation W14138429331 @default.
- W1413842933 hasRelatedWork W1465358289 @default.
- W1413842933 hasRelatedWork W1587245652 @default.
- W1413842933 hasRelatedWork W1798975336 @default.
- W1413842933 hasRelatedWork W19213215 @default.
- W1413842933 hasRelatedWork W2066859698 @default.
- W1413842933 hasRelatedWork W207016632 @default.
- W1413842933 hasRelatedWork W2105982807 @default.
- W1413842933 hasRelatedWork W2111301724 @default.
- W1413842933 hasRelatedWork W2114512427 @default.
- W1413842933 hasRelatedWork W2126126443 @default.
- W1413842933 hasRelatedWork W2186533542 @default.
- W1413842933 hasRelatedWork W2293197344 @default.
- W1413842933 hasRelatedWork W2296064069 @default.
- W1413842933 hasRelatedWork W2296544889 @default.
- W1413842933 hasRelatedWork W2471418780 @default.
- W1413842933 hasRelatedWork W2692721111 @default.
- W1413842933 hasRelatedWork W3037570434 @default.
- W1413842933 hasRelatedWork W3047233922 @default.
- W1413842933 hasRelatedWork W2099648651 @default.
- W1413842933 hasRelatedWork W2971632023 @default.
- W1413842933 isParatext "false" @default.
- W1413842933 isRetracted "false" @default.
- W1413842933 magId "1413842933" @default.
- W1413842933 workType "book-chapter" @default.