Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586432163> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1586432163 endingPage "160" @default.
- W1586432163 startingPage "151" @default.
- W1586432163 abstract "The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on defining an evaluation semantics for a language, it is also possible to define an abstract semantics that can be used for program analysis. Using the SILF language (Hills, Serbanuta and Rosu, 2007), this paper describes one technique for defining such a semantics: policy frameworks. In policy frameworks, an analysis-generic, modular framework is first defined for a language. Individual analyses, called policies, are then defined as extensions of this framework, with each policy defining analysis-specific semantic rules and an annotation language which, in combination with support in the language front-end, allows users to annotate program types and functions with information used during program analysis. Standard term rewriting techniques are used to analyze programs by evaluating them in the policy semantics." @default.
- W1586432163 created "2016-06-24" @default.
- W1586432163 creator A5053878331 @default.
- W1586432163 creator A5082137376 @default.
- W1586432163 date "2010-01-01" @default.
- W1586432163 modified "2023-10-16" @default.
- W1586432163 title "A Rewriting Logic Semantics Approach to Modular Program Analysis" @default.
- W1586432163 cites W118153159 @default.
- W1586432163 cites W1532097571 @default.
- W1586432163 cites W1606540187 @default.
- W1586432163 cites W1959256509 @default.
- W1586432163 cites W1963569294 @default.
- W1586432163 cites W2010321110 @default.
- W1586432163 cites W2045090661 @default.
- W1586432163 cites W2061786858 @default.
- W1586432163 cites W2070869623 @default.
- W1586432163 cites W2096861005 @default.
- W1586432163 cites W2098631554 @default.
- W1586432163 cites W2104789737 @default.
- W1586432163 cites W2110980218 @default.
- W1586432163 cites W2122086013 @default.
- W1586432163 cites W2131616973 @default.
- W1586432163 cites W2139760036 @default.
- W1586432163 cites W2150509460 @default.
- W1586432163 cites W2160525245 @default.
- W1586432163 cites W2166985644 @default.
- W1586432163 cites W2170251310 @default.
- W1586432163 cites W2200726376 @default.
- W1586432163 cites W2914227004 @default.
- W1586432163 cites W55812124 @default.
- W1586432163 cites W347225377 @default.
- W1586432163 doi "https://doi.org/10.4230/lipics.rta.2010.151" @default.
- W1586432163 hasPublicationYear "2010" @default.
- W1586432163 type Work @default.
- W1586432163 sameAs 1586432163 @default.
- W1586432163 citedByCount "7" @default.
- W1586432163 countsByYear W15864321632012 @default.
- W1586432163 countsByYear W15864321632013 @default.
- W1586432163 countsByYear W15864321632014 @default.
- W1586432163 crossrefType "proceedings-article" @default.
- W1586432163 hasAuthorship W1586432163A5053878331 @default.
- W1586432163 hasAuthorship W1586432163A5082137376 @default.
- W1586432163 hasConcept C101468663 @default.
- W1586432163 hasConcept C128838566 @default.
- W1586432163 hasConcept C146499914 @default.
- W1586432163 hasConcept C150607116 @default.
- W1586432163 hasConcept C154690210 @default.
- W1586432163 hasConcept C156325763 @default.
- W1586432163 hasConcept C184337299 @default.
- W1586432163 hasConcept C199360897 @default.
- W1586432163 hasConcept C207648694 @default.
- W1586432163 hasConcept C41008148 @default.
- W1586432163 hasConcept C89497691 @default.
- W1586432163 hasConceptScore W1586432163C101468663 @default.
- W1586432163 hasConceptScore W1586432163C128838566 @default.
- W1586432163 hasConceptScore W1586432163C146499914 @default.
- W1586432163 hasConceptScore W1586432163C150607116 @default.
- W1586432163 hasConceptScore W1586432163C154690210 @default.
- W1586432163 hasConceptScore W1586432163C156325763 @default.
- W1586432163 hasConceptScore W1586432163C184337299 @default.
- W1586432163 hasConceptScore W1586432163C199360897 @default.
- W1586432163 hasConceptScore W1586432163C207648694 @default.
- W1586432163 hasConceptScore W1586432163C41008148 @default.
- W1586432163 hasConceptScore W1586432163C89497691 @default.
- W1586432163 hasLocation W15864321631 @default.
- W1586432163 hasOpenAccess W1586432163 @default.
- W1586432163 hasPrimaryLocation W15864321631 @default.
- W1586432163 hasRelatedWork W1163293579 @default.
- W1586432163 hasRelatedWork W1547189343 @default.
- W1586432163 hasRelatedWork W184987266 @default.
- W1586432163 hasRelatedWork W1990687394 @default.
- W1586432163 hasRelatedWork W2010321110 @default.
- W1586432163 hasRelatedWork W2030762481 @default.
- W1586432163 hasRelatedWork W2048417351 @default.
- W1586432163 hasRelatedWork W2053342841 @default.
- W1586432163 hasRelatedWork W2065507854 @default.
- W1586432163 hasRelatedWork W2129022555 @default.
- W1586432163 hasRelatedWork W2137980890 @default.
- W1586432163 hasRelatedWork W2148043148 @default.
- W1586432163 hasRelatedWork W2157449911 @default.
- W1586432163 hasRelatedWork W2295221401 @default.
- W1586432163 hasRelatedWork W2786383442 @default.
- W1586432163 hasRelatedWork W28354576 @default.
- W1586432163 hasRelatedWork W3001621508 @default.
- W1586432163 hasRelatedWork W3150067715 @default.
- W1586432163 hasRelatedWork W1744983872 @default.
- W1586432163 hasRelatedWork W2049295871 @default.
- W1586432163 hasVolume "6" @default.
- W1586432163 isParatext "false" @default.
- W1586432163 isRetracted "false" @default.
- W1586432163 magId "1586432163" @default.
- W1586432163 workType "article" @default.