Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100025647> ?p ?o ?g. }
- W2100025647 abstract "Intuitively, if we can prove that a program terminates, we expect some conclusion regarding its complexity. But the passage from termination proofs to complexity bounds is not always clear. In this work we consider Monotonicity Constraint Transition Systems, a program abstraction where termination is decidable (based on the size-change termination principle). We show that these programs also have a decidable complexity property: one can determine whether the length of all transition sequences can be bounded in terms of the initial state. This is the Bounded Termination problem. Interestingly, if a bound exists, it must be polynomial. We prove that the bounded termination problem is PSPACE-complete. We also discuss, theoretically, the use of bounds on the abstract program to infer conclusions on a concrete program that has been abstracted. The conclusion maybe a polynomial time bound, or in other cases polynomial space or exponential time. We argue that the monotonicity-constraint abstraction promises to be useful for practical complexity analysis of programs." @default.
- W2100025647 created "2016-06-24" @default.
- W2100025647 creator A5019616888 @default.
- W2100025647 creator A5091853653 @default.
- W2100025647 date "2012-02-20" @default.
- W2100025647 modified "2023-09-27" @default.
- W2100025647 title "Bounded Termination of Monotonicity-Constraint Transition Systems" @default.
- W2100025647 cites W1230660382 @default.
- W2100025647 cites W1490789624 @default.
- W2100025647 cites W1492171827 @default.
- W2100025647 cites W1515621470 @default.
- W2100025647 cites W1536974934 @default.
- W2100025647 cites W1540139181 @default.
- W2100025647 cites W1548801608 @default.
- W2100025647 cites W1549644090 @default.
- W2100025647 cites W1559507946 @default.
- W2100025647 cites W1562651002 @default.
- W2100025647 cites W1563352283 @default.
- W2100025647 cites W1568532679 @default.
- W2100025647 cites W1578701395 @default.
- W2100025647 cites W1579524364 @default.
- W2100025647 cites W1583921451 @default.
- W2100025647 cites W1599625180 @default.
- W2100025647 cites W1617855441 @default.
- W2100025647 cites W1673970604 @default.
- W2100025647 cites W174766979 @default.
- W2100025647 cites W1801500381 @default.
- W2100025647 cites W1803315493 @default.
- W2100025647 cites W1913470731 @default.
- W2100025647 cites W1981324778 @default.
- W2100025647 cites W1993129359 @default.
- W2100025647 cites W1996245589 @default.
- W2100025647 cites W1996679397 @default.
- W2100025647 cites W2001932052 @default.
- W2100025647 cites W2003295303 @default.
- W2100025647 cites W2010059824 @default.
- W2100025647 cites W2012069736 @default.
- W2100025647 cites W2014528727 @default.
- W2100025647 cites W2024821946 @default.
- W2100025647 cites W2029579251 @default.
- W2100025647 cites W2033656559 @default.
- W2100025647 cites W2048694918 @default.
- W2100025647 cites W2051600983 @default.
- W2100025647 cites W2052354978 @default.
- W2100025647 cites W2055717180 @default.
- W2100025647 cites W205697980 @default.
- W2100025647 cites W2060213695 @default.
- W2100025647 cites W2066550846 @default.
- W2100025647 cites W2069792094 @default.
- W2100025647 cites W2071713296 @default.
- W2100025647 cites W2072088733 @default.
- W2100025647 cites W2093424728 @default.
- W2100025647 cites W2094712524 @default.
- W2100025647 cites W2105346957 @default.
- W2100025647 cites W2109863363 @default.
- W2100025647 cites W2111366004 @default.
- W2100025647 cites W2112258778 @default.
- W2100025647 cites W2112969535 @default.
- W2100025647 cites W2115581182 @default.
- W2100025647 cites W2122917953 @default.
- W2100025647 cites W2132661148 @default.
- W2100025647 cites W2135155734 @default.
- W2100025647 cites W2144538202 @default.
- W2100025647 cites W2159756689 @default.
- W2100025647 cites W2169568716 @default.
- W2100025647 cites W2295244175 @default.
- W2100025647 cites W2953315461 @default.
- W2100025647 cites W2962995303 @default.
- W2100025647 cites W38697619 @default.
- W2100025647 cites W88512901 @default.
- W2100025647 hasPublicationYear "2012" @default.
- W2100025647 type Work @default.
- W2100025647 sameAs 2100025647 @default.
- W2100025647 citedByCount "0" @default.
- W2100025647 crossrefType "posted-content" @default.
- W2100025647 hasAuthorship W2100025647A5019616888 @default.
- W2100025647 hasAuthorship W2100025647A5091853653 @default.
- W2100025647 hasConcept C108710211 @default.
- W2100025647 hasConcept C110251889 @default.
- W2100025647 hasConcept C111472728 @default.
- W2100025647 hasConcept C11413529 @default.
- W2100025647 hasConcept C114614502 @default.
- W2100025647 hasConcept C118615104 @default.
- W2100025647 hasConcept C124304363 @default.
- W2100025647 hasConcept C134306372 @default.
- W2100025647 hasConcept C138885662 @default.
- W2100025647 hasConcept C153269930 @default.
- W2100025647 hasConcept C179799912 @default.
- W2100025647 hasConcept C197685441 @default.
- W2100025647 hasConcept C2524010 @default.
- W2100025647 hasConcept C2776036281 @default.
- W2100025647 hasConcept C311688 @default.
- W2100025647 hasConcept C33923547 @default.
- W2100025647 hasConcept C34388435 @default.
- W2100025647 hasConcept C41008148 @default.
- W2100025647 hasConcept C72169020 @default.
- W2100025647 hasConcept C77553402 @default.
- W2100025647 hasConcept C90119067 @default.
- W2100025647 hasConceptScore W2100025647C108710211 @default.
- W2100025647 hasConceptScore W2100025647C110251889 @default.