Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154753152> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2154753152 abstract "For the past five years, the University of Oklahoma has used the ACL2 theorem prover for a year-long sequence on software engineering. The goal of the course is to introduce students to functional programming with Applicative Common Lisp (ACL) and to expose them to defect recognition at all levels, including unit testing, randomized testing of conjectures, and formal theorem proving in a Computational Logic (ACL2)." @default.
- W2154753152 created "2016-06-24" @default.
- W2154753152 creator A5000905628 @default.
- W2154753152 creator A5014511753 @default.
- W2154753152 creator A5025420767 @default.
- W2154753152 date "2008-09-21" @default.
- W2154753152 modified "2023-10-17" @default.
- W2154753152 title "Functional programming and theorem proving for undergraduates" @default.
- W2154753152 cites W1597838511 @default.
- W2154753152 cites W190038403 @default.
- W2154753152 cites W2015077407 @default.
- W2154753152 cites W2017441562 @default.
- W2154753152 cites W2076004629 @default.
- W2154753152 cites W2079512738 @default.
- W2154753152 cites W2109943281 @default.
- W2154753152 cites W2140757674 @default.
- W2154753152 cites W2145365771 @default.
- W2154753152 cites W2155433233 @default.
- W2154753152 cites W4244488020 @default.
- W2154753152 cites W95578667 @default.
- W2154753152 doi "https://doi.org/10.1145/1411260.1411264" @default.
- W2154753152 hasPublicationYear "2008" @default.
- W2154753152 type Work @default.
- W2154753152 sameAs 2154753152 @default.
- W2154753152 citedByCount "13" @default.
- W2154753152 countsByYear W21547531522012 @default.
- W2154753152 countsByYear W21547531522013 @default.
- W2154753152 countsByYear W21547531522019 @default.
- W2154753152 countsByYear W21547531522022 @default.
- W2154753152 crossrefType "proceedings-article" @default.
- W2154753152 hasAuthorship W2154753152A5000905628 @default.
- W2154753152 hasAuthorship W2154753152A5014511753 @default.
- W2154753152 hasAuthorship W2154753152A5025420767 @default.
- W2154753152 hasConcept C108710211 @default.
- W2154753152 hasConcept C128838566 @default.
- W2154753152 hasConcept C13766981 @default.
- W2154753152 hasConcept C190883126 @default.
- W2154753152 hasConcept C199343813 @default.
- W2154753152 hasConcept C199360897 @default.
- W2154753152 hasConcept C203265346 @default.
- W2154753152 hasConcept C206880738 @default.
- W2154753152 hasConcept C2524010 @default.
- W2154753152 hasConcept C2777686260 @default.
- W2154753152 hasConcept C33923547 @default.
- W2154753152 hasConcept C41008148 @default.
- W2154753152 hasConcept C71924100 @default.
- W2154753152 hasConcept C80444323 @default.
- W2154753152 hasConceptScore W2154753152C108710211 @default.
- W2154753152 hasConceptScore W2154753152C128838566 @default.
- W2154753152 hasConceptScore W2154753152C13766981 @default.
- W2154753152 hasConceptScore W2154753152C190883126 @default.
- W2154753152 hasConceptScore W2154753152C199343813 @default.
- W2154753152 hasConceptScore W2154753152C199360897 @default.
- W2154753152 hasConceptScore W2154753152C203265346 @default.
- W2154753152 hasConceptScore W2154753152C206880738 @default.
- W2154753152 hasConceptScore W2154753152C2524010 @default.
- W2154753152 hasConceptScore W2154753152C2777686260 @default.
- W2154753152 hasConceptScore W2154753152C33923547 @default.
- W2154753152 hasConceptScore W2154753152C41008148 @default.
- W2154753152 hasConceptScore W2154753152C71924100 @default.
- W2154753152 hasConceptScore W2154753152C80444323 @default.
- W2154753152 hasLocation W21547531521 @default.
- W2154753152 hasOpenAccess W2154753152 @default.
- W2154753152 hasPrimaryLocation W21547531521 @default.
- W2154753152 hasRelatedWork W1636183340 @default.
- W2154753152 hasRelatedWork W2020283269 @default.
- W2154753152 hasRelatedWork W2034614936 @default.
- W2154753152 hasRelatedWork W2112962394 @default.
- W2154753152 hasRelatedWork W2216239550 @default.
- W2154753152 hasRelatedWork W2325718301 @default.
- W2154753152 hasRelatedWork W2950961618 @default.
- W2154753152 hasRelatedWork W2964806919 @default.
- W2154753152 hasRelatedWork W4297063300 @default.
- W2154753152 hasRelatedWork W49883858 @default.
- W2154753152 isParatext "false" @default.
- W2154753152 isRetracted "false" @default.
- W2154753152 magId "2154753152" @default.
- W2154753152 workType "article" @default.