Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566466791> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1566466791 endingPage "113" @default.
- W1566466791 startingPage "104" @default.
- W1566466791 abstract "We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to a specification expressing non-functional global properties, such as upper and lower bounds on execution time, memory, energy, or user defined resources, given as functions on input data sizes. A given specification can include both lower and upper bound resource usage functions, i.e., it can express intervals where the resource usage is supposed to be included in. We have defined an abstract semantics for resource usage properties and operations to compare the (approximated) intended semantics of a program (i.e., the specification) with approximated semantics inferred by static analysis. These operations include the comparison of arithmetic functions (e.g., polynomial, exponential or logarithmic functions). A novel aspect of our framework is that the static checking of assertions generates answers that include conditions under which a given specification can be proved or disproved. For example, these conditions can express intervals of input data sizes such that a given specification can be proved for some intervals but disproved for others. We have implemented our techniques within the Ciao/CiaoPP system in a natural way, so that the novel resource usage verification blends in with the CiaoPP framework that unifies static verification and static debugging (as well as run-time verification and unit testing)." @default.
- W1566466791 created "2016-06-24" @default.
- W1566466791 creator A5030520172 @default.
- W1566466791 creator A5039662970 @default.
- W1566466791 creator A5084564638 @default.
- W1566466791 date "2010-01-01" @default.
- W1566466791 modified "2023-10-16" @default.
- W1566466791 title "A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification" @default.
- W1566466791 doi "https://doi.org/10.4230/lipics.iclp.2010.104" @default.
- W1566466791 hasPublicationYear "2010" @default.
- W1566466791 type Work @default.
- W1566466791 sameAs 1566466791 @default.
- W1566466791 citedByCount "0" @default.
- W1566466791 crossrefType "proceedings-article" @default.
- W1566466791 hasAuthorship W1566466791A5030520172 @default.
- W1566466791 hasAuthorship W1566466791A5039662970 @default.
- W1566466791 hasAuthorship W1566466791A5084564638 @default.
- W1566466791 hasConcept C111498074 @default.
- W1566466791 hasConcept C168065819 @default.
- W1566466791 hasConcept C184337299 @default.
- W1566466791 hasConcept C199360897 @default.
- W1566466791 hasConcept C202973057 @default.
- W1566466791 hasConcept C206345919 @default.
- W1566466791 hasConcept C2780654840 @default.
- W1566466791 hasConcept C31258907 @default.
- W1566466791 hasConcept C41008148 @default.
- W1566466791 hasConcept C55439883 @default.
- W1566466791 hasConcept C62460635 @default.
- W1566466791 hasConcept C80444323 @default.
- W1566466791 hasConcept C97686452 @default.
- W1566466791 hasConceptScore W1566466791C111498074 @default.
- W1566466791 hasConceptScore W1566466791C168065819 @default.
- W1566466791 hasConceptScore W1566466791C184337299 @default.
- W1566466791 hasConceptScore W1566466791C199360897 @default.
- W1566466791 hasConceptScore W1566466791C202973057 @default.
- W1566466791 hasConceptScore W1566466791C206345919 @default.
- W1566466791 hasConceptScore W1566466791C2780654840 @default.
- W1566466791 hasConceptScore W1566466791C31258907 @default.
- W1566466791 hasConceptScore W1566466791C41008148 @default.
- W1566466791 hasConceptScore W1566466791C55439883 @default.
- W1566466791 hasConceptScore W1566466791C62460635 @default.
- W1566466791 hasConceptScore W1566466791C80444323 @default.
- W1566466791 hasConceptScore W1566466791C97686452 @default.
- W1566466791 hasLocation W15664667911 @default.
- W1566466791 hasOpenAccess W1566466791 @default.
- W1566466791 hasPrimaryLocation W15664667911 @default.
- W1566466791 hasRelatedWork W1483806673 @default.
- W1566466791 hasRelatedWork W1537387651 @default.
- W1566466791 hasRelatedWork W2009080961 @default.
- W1566466791 hasRelatedWork W2073566426 @default.
- W1566466791 hasRelatedWork W2188057831 @default.
- W1566466791 hasRelatedWork W2210665931 @default.
- W1566466791 hasRelatedWork W2298387877 @default.
- W1566466791 hasRelatedWork W2338367696 @default.
- W1566466791 hasRelatedWork W2369289949 @default.
- W1566466791 hasRelatedWork W2528097415 @default.
- W1566466791 hasRelatedWork W2778826798 @default.
- W1566466791 hasRelatedWork W2912717508 @default.
- W1566466791 hasRelatedWork W2949396959 @default.
- W1566466791 hasRelatedWork W3038090598 @default.
- W1566466791 hasRelatedWork W3085446862 @default.
- W1566466791 hasRelatedWork W3126303719 @default.
- W1566466791 hasRelatedWork W3203645543 @default.
- W1566466791 hasRelatedWork W3205743220 @default.
- W1566466791 hasRelatedWork W574795656 @default.
- W1566466791 hasRelatedWork W129880873 @default.
- W1566466791 hasVolume "7" @default.
- W1566466791 isParatext "false" @default.
- W1566466791 isRetracted "false" @default.
- W1566466791 magId "1566466791" @default.
- W1566466791 workType "article" @default.