Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569188499> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1569188499 endingPage "261" @default.
- W1569188499 startingPage "246" @default.
- W1569188499 abstract "In this paper a method is proposed for carrying out analysis of imperative programs. We achieve this by writing down the language semantics as a declarative program (a constraint logic program, in the approach shown here). We propose an effective style of writing operational semantics suitable for analysis which we call one-state small-step semantics. Through controlled partial evaluation we are able to generate residual programs where the relationship between imperative statements and predicates is straightforward. Then we use a static analyser for constraint logic programs on the residual program. The analysis results are interpreted through program points associating predicates in the partially evaluated interpreter to statements in its corresponding imperative program. We used an analyser that allows us to determine linear equality, inequality and disequality relations among the variables of a program without user-provided inductive assertions or human interaction. The proposed method intends to serve as a framework for the analysis of programs in any imperative language. The tools required are a partial evaluator and a static analyser for the declarative language." @default.
- W1569188499 created "2016-06-24" @default.
- W1569188499 creator A5018313727 @default.
- W1569188499 creator A5020698393 @default.
- W1569188499 creator A5087937399 @default.
- W1569188499 date "1998-01-01" @default.
- W1569188499 modified "2023-10-16" @default.
- W1569188499 title "Analysis of Imperative Programs through Analysis of Constraint Logic Programs" @default.
- W1569188499 cites W153405243 @default.
- W1569188499 cites W1538458686 @default.
- W1569188499 cites W1752249128 @default.
- W1569188499 cites W1981580304 @default.
- W1569188499 cites W2015809097 @default.
- W1569188499 cites W2037035101 @default.
- W1569188499 cites W2048831705 @default.
- W1569188499 cites W2059019165 @default.
- W1569188499 cites W2132661148 @default.
- W1569188499 cites W2478723878 @default.
- W1569188499 cites W1880843538 @default.
- W1569188499 doi "https://doi.org/10.1007/3-540-49727-7_15" @default.
- W1569188499 hasPublicationYear "1998" @default.
- W1569188499 type Work @default.
- W1569188499 sameAs 1569188499 @default.
- W1569188499 citedByCount "68" @default.
- W1569188499 countsByYear W15691884992012 @default.
- W1569188499 countsByYear W15691884992013 @default.
- W1569188499 countsByYear W15691884992014 @default.
- W1569188499 countsByYear W15691884992015 @default.
- W1569188499 countsByYear W15691884992016 @default.
- W1569188499 countsByYear W15691884992017 @default.
- W1569188499 countsByYear W15691884992018 @default.
- W1569188499 countsByYear W15691884992019 @default.
- W1569188499 countsByYear W15691884992020 @default.
- W1569188499 countsByYear W15691884992021 @default.
- W1569188499 countsByYear W15691884992022 @default.
- W1569188499 crossrefType "book-chapter" @default.
- W1569188499 hasAuthorship W1569188499A5018313727 @default.
- W1569188499 hasAuthorship W1569188499A5020698393 @default.
- W1569188499 hasAuthorship W1569188499A5087937399 @default.
- W1569188499 hasConcept C122783720 @default.
- W1569188499 hasConcept C156325763 @default.
- W1569188499 hasConcept C184337299 @default.
- W1569188499 hasConcept C185592680 @default.
- W1569188499 hasConcept C195701839 @default.
- W1569188499 hasConcept C199360897 @default.
- W1569188499 hasConcept C2524010 @default.
- W1569188499 hasConcept C26834552 @default.
- W1569188499 hasConcept C2776036281 @default.
- W1569188499 hasConcept C2780654840 @default.
- W1569188499 hasConcept C33923547 @default.
- W1569188499 hasConcept C41008148 @default.
- W1569188499 hasConcept C43617362 @default.
- W1569188499 hasConcept C80444323 @default.
- W1569188499 hasConcept C97686452 @default.
- W1569188499 hasConcept C98183937 @default.
- W1569188499 hasConceptScore W1569188499C122783720 @default.
- W1569188499 hasConceptScore W1569188499C156325763 @default.
- W1569188499 hasConceptScore W1569188499C184337299 @default.
- W1569188499 hasConceptScore W1569188499C185592680 @default.
- W1569188499 hasConceptScore W1569188499C195701839 @default.
- W1569188499 hasConceptScore W1569188499C199360897 @default.
- W1569188499 hasConceptScore W1569188499C2524010 @default.
- W1569188499 hasConceptScore W1569188499C26834552 @default.
- W1569188499 hasConceptScore W1569188499C2776036281 @default.
- W1569188499 hasConceptScore W1569188499C2780654840 @default.
- W1569188499 hasConceptScore W1569188499C33923547 @default.
- W1569188499 hasConceptScore W1569188499C41008148 @default.
- W1569188499 hasConceptScore W1569188499C43617362 @default.
- W1569188499 hasConceptScore W1569188499C80444323 @default.
- W1569188499 hasConceptScore W1569188499C97686452 @default.
- W1569188499 hasConceptScore W1569188499C98183937 @default.
- W1569188499 hasLocation W15691884991 @default.
- W1569188499 hasOpenAccess W1569188499 @default.
- W1569188499 hasPrimaryLocation W15691884991 @default.
- W1569188499 hasRelatedWork W1493903037 @default.
- W1569188499 hasRelatedWork W1569188499 @default.
- W1569188499 hasRelatedWork W1573821685 @default.
- W1569188499 hasRelatedWork W1608659702 @default.
- W1569188499 hasRelatedWork W1969936893 @default.
- W1569188499 hasRelatedWork W2142782287 @default.
- W1569188499 hasRelatedWork W2164885086 @default.
- W1569188499 hasRelatedWork W1880843538 @default.
- W1569188499 hasRelatedWork W2789178056 @default.
- W1569188499 hasRelatedWork W2987539681 @default.
- W1569188499 isParatext "false" @default.
- W1569188499 isRetracted "false" @default.
- W1569188499 magId "1569188499" @default.
- W1569188499 workType "book-chapter" @default.