Matches in SemOpenAlex for { <https://semopenalex.org/work/W2282201721> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2282201721 abstract "Automatic understanding of the intended meaning of computer programs is a very hard problem, requiring intelligence and reasoning. In this talk we describe applications of our symbol elimination methods in automated proram analysis. Symbol elimination uses first-order theorem proving techniques in conjunction with symbolic computation methods, and derives nontrivial program properties, such as loop invariants and loop bounds, in a fully automatic way. Moreover, symbol elimination can be used as an alternative to interpolation for software verification." @default.
- W2282201721 created "2016-06-24" @default.
- W2282201721 creator A5071158512 @default.
- W2282201721 date "2014-11-18" @default.
- W2282201721 modified "2023-09-26" @default.
- W2282201721 title "Symbol elimination for automated generation of program properties" @default.
- W2282201721 doi "https://doi.org/10.14279/tuj.eceasst.70.974.952" @default.
- W2282201721 hasPublicationYear "2014" @default.
- W2282201721 type Work @default.
- W2282201721 sameAs 2282201721 @default.
- W2282201721 citedByCount "0" @default.
- W2282201721 crossrefType "journal-article" @default.
- W2282201721 hasAuthorship W2282201721A5071158512 @default.
- W2282201721 hasConcept C104114177 @default.
- W2282201721 hasConcept C110812573 @default.
- W2282201721 hasConcept C11413529 @default.
- W2282201721 hasConcept C114614502 @default.
- W2282201721 hasConcept C134306372 @default.
- W2282201721 hasConcept C134400042 @default.
- W2282201721 hasConcept C137800194 @default.
- W2282201721 hasConcept C154945302 @default.
- W2282201721 hasConcept C184670325 @default.
- W2282201721 hasConcept C199360897 @default.
- W2282201721 hasConcept C33923547 @default.
- W2282201721 hasConcept C41008148 @default.
- W2282201721 hasConcept C45374587 @default.
- W2282201721 hasConcept C80444323 @default.
- W2282201721 hasConceptScore W2282201721C104114177 @default.
- W2282201721 hasConceptScore W2282201721C110812573 @default.
- W2282201721 hasConceptScore W2282201721C11413529 @default.
- W2282201721 hasConceptScore W2282201721C114614502 @default.
- W2282201721 hasConceptScore W2282201721C134306372 @default.
- W2282201721 hasConceptScore W2282201721C134400042 @default.
- W2282201721 hasConceptScore W2282201721C137800194 @default.
- W2282201721 hasConceptScore W2282201721C154945302 @default.
- W2282201721 hasConceptScore W2282201721C184670325 @default.
- W2282201721 hasConceptScore W2282201721C199360897 @default.
- W2282201721 hasConceptScore W2282201721C33923547 @default.
- W2282201721 hasConceptScore W2282201721C41008148 @default.
- W2282201721 hasConceptScore W2282201721C45374587 @default.
- W2282201721 hasConceptScore W2282201721C80444323 @default.
- W2282201721 hasLocation W22822017211 @default.
- W2282201721 hasOpenAccess W2282201721 @default.
- W2282201721 hasPrimaryLocation W22822017211 @default.
- W2282201721 hasRelatedWork W118864002 @default.
- W2282201721 hasRelatedWork W1499474569 @default.
- W2282201721 hasRelatedWork W1528693048 @default.
- W2282201721 hasRelatedWork W154684055 @default.
- W2282201721 hasRelatedWork W1627097261 @default.
- W2282201721 hasRelatedWork W193483433 @default.
- W2282201721 hasRelatedWork W1982928014 @default.
- W2282201721 hasRelatedWork W1989185026 @default.
- W2282201721 hasRelatedWork W1999254703 @default.
- W2282201721 hasRelatedWork W2037237472 @default.
- W2282201721 hasRelatedWork W2106006965 @default.
- W2282201721 hasRelatedWork W2168187072 @default.
- W2282201721 hasRelatedWork W2170524376 @default.
- W2282201721 hasRelatedWork W2569846767 @default.
- W2282201721 hasRelatedWork W2898427732 @default.
- W2282201721 hasRelatedWork W2912721414 @default.
- W2282201721 hasRelatedWork W2996342063 @default.
- W2282201721 hasRelatedWork W3147910737 @default.
- W2282201721 hasRelatedWork W2786677167 @default.
- W2282201721 hasRelatedWork W28296052 @default.
- W2282201721 hasVolume "70" @default.
- W2282201721 isParatext "false" @default.
- W2282201721 isRetracted "false" @default.
- W2282201721 magId "2282201721" @default.
- W2282201721 workType "article" @default.