Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072967308> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2072967308 endingPage "96" @default.
- W2072967308 startingPage "83" @default.
- W2072967308 abstract "Non-termination analysis proves that programs, or parts of a program, do not terminate. This is important since non-termination is often an unexpected behaviour of computer programs and exposes a bug in their code. While research has found ways of proving non-termination of logic programs and of term rewriting systems, this is hardly the case for imperative programs. In this paper, we describe and experiment with a technique for proving non-termination of imperative, bytecode programs by relating their non-termination to that of a (constraint) logic program. Moreover, we show that our non-termination test effectively helps a termination test, by avoiding expensive search for termination proofs of those portions of the code where such proofs do not exist." @default.
- W2072967308 created "2016-06-24" @default.
- W2072967308 creator A5051480560 @default.
- W2072967308 creator A5063276563 @default.
- W2072967308 date "2009-12-01" @default.
- W2072967308 modified "2023-10-17" @default.
- W2072967308 title "Experiments with Non-Termination Analysis for Java Bytecode" @default.
- W2072967308 cites W1970844917 @default.
- W2072967308 cites W1972319677 @default.
- W2072967308 cites W1976132254 @default.
- W2072967308 cites W1981314990 @default.
- W2072967308 cites W2014410720 @default.
- W2072967308 cites W2043100293 @default.
- W2072967308 cites W2069453418 @default.
- W2072967308 doi "https://doi.org/10.1016/j.entcs.2009.11.016" @default.
- W2072967308 hasPublicationYear "2009" @default.
- W2072967308 type Work @default.
- W2072967308 sameAs 2072967308 @default.
- W2072967308 citedByCount "13" @default.
- W2072967308 countsByYear W20729673082012 @default.
- W2072967308 countsByYear W20729673082013 @default.
- W2072967308 countsByYear W20729673082014 @default.
- W2072967308 countsByYear W20729673082015 @default.
- W2072967308 countsByYear W20729673082016 @default.
- W2072967308 countsByYear W20729673082018 @default.
- W2072967308 countsByYear W20729673082023 @default.
- W2072967308 crossrefType "journal-article" @default.
- W2072967308 hasAuthorship W2072967308A5051480560 @default.
- W2072967308 hasAuthorship W2072967308A5063276563 @default.
- W2072967308 hasBestOaLocation W20729673081 @default.
- W2072967308 hasConcept C108710211 @default.
- W2072967308 hasConcept C121332964 @default.
- W2072967308 hasConcept C154690210 @default.
- W2072967308 hasConcept C15524039 @default.
- W2072967308 hasConcept C168702491 @default.
- W2072967308 hasConcept C199360897 @default.
- W2072967308 hasConcept C2524010 @default.
- W2072967308 hasConcept C2777472213 @default.
- W2072967308 hasConcept C2779818221 @default.
- W2072967308 hasConcept C33923547 @default.
- W2072967308 hasConcept C41008148 @default.
- W2072967308 hasConcept C548217200 @default.
- W2072967308 hasConcept C61797465 @default.
- W2072967308 hasConcept C62520636 @default.
- W2072967308 hasConcept C80444323 @default.
- W2072967308 hasConcept C98183937 @default.
- W2072967308 hasConceptScore W2072967308C108710211 @default.
- W2072967308 hasConceptScore W2072967308C121332964 @default.
- W2072967308 hasConceptScore W2072967308C154690210 @default.
- W2072967308 hasConceptScore W2072967308C15524039 @default.
- W2072967308 hasConceptScore W2072967308C168702491 @default.
- W2072967308 hasConceptScore W2072967308C199360897 @default.
- W2072967308 hasConceptScore W2072967308C2524010 @default.
- W2072967308 hasConceptScore W2072967308C2777472213 @default.
- W2072967308 hasConceptScore W2072967308C2779818221 @default.
- W2072967308 hasConceptScore W2072967308C33923547 @default.
- W2072967308 hasConceptScore W2072967308C41008148 @default.
- W2072967308 hasConceptScore W2072967308C548217200 @default.
- W2072967308 hasConceptScore W2072967308C61797465 @default.
- W2072967308 hasConceptScore W2072967308C62520636 @default.
- W2072967308 hasConceptScore W2072967308C80444323 @default.
- W2072967308 hasConceptScore W2072967308C98183937 @default.
- W2072967308 hasIssue "5" @default.
- W2072967308 hasLocation W20729673081 @default.
- W2072967308 hasLocation W20729673082 @default.
- W2072967308 hasLocation W20729673083 @default.
- W2072967308 hasLocation W20729673084 @default.
- W2072967308 hasLocation W20729673085 @default.
- W2072967308 hasLocation W20729673086 @default.
- W2072967308 hasLocation W20729673087 @default.
- W2072967308 hasLocation W20729673088 @default.
- W2072967308 hasOpenAccess W2072967308 @default.
- W2072967308 hasPrimaryLocation W20729673081 @default.
- W2072967308 hasRelatedWork W1509153591 @default.
- W2072967308 hasRelatedWork W1538501264 @default.
- W2072967308 hasRelatedWork W163795935 @default.
- W2072967308 hasRelatedWork W1982233953 @default.
- W2072967308 hasRelatedWork W20625830 @default.
- W2072967308 hasRelatedWork W2115474251 @default.
- W2072967308 hasRelatedWork W2130413583 @default.
- W2072967308 hasRelatedWork W2537112085 @default.
- W2072967308 hasRelatedWork W4205538420 @default.
- W2072967308 hasRelatedWork W2946274923 @default.
- W2072967308 hasVolume "253" @default.
- W2072967308 isParatext "false" @default.
- W2072967308 isRetracted "false" @default.
- W2072967308 magId "2072967308" @default.
- W2072967308 workType "article" @default.