Matches in SemOpenAlex for { <https://semopenalex.org/work/W2583543438> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2583543438 abstract "This paper formalizes a generic abstract interpreter for a while-language, including widening and narrowing. The collecting semantics and the abstract interpreter operate on annotated commands: the program is represented as a syntax tree with the semantic information directly embedded, without auxiliary labels. The aim of the paper is simplicity of the formalization, not efficiency or precision. This is motivated by the inclusion of the material in a theorem prover based course on semantics." @default.
- W2583543438 created "2017-02-10" @default.
- W2583543438 creator A5062636889 @default.
- W2583543438 date "2016-01-01" @default.
- W2583543438 modified "2023-09-26" @default.
- W2583543438 title "Abstract Interpretation of Annotated Commands." @default.
- W2583543438 hasPublicationYear "2016" @default.
- W2583543438 type Work @default.
- W2583543438 sameAs 2583543438 @default.
- W2583543438 citedByCount "0" @default.
- W2583543438 crossrefType "journal-article" @default.
- W2583543438 hasAuthorship W2583543438A5062636889 @default.
- W2583543438 hasConcept C111472728 @default.
- W2583543438 hasConcept C114408938 @default.
- W2583543438 hasConcept C122783720 @default.
- W2583543438 hasConcept C138885662 @default.
- W2583543438 hasConcept C154945302 @default.
- W2583543438 hasConcept C184337299 @default.
- W2583543438 hasConcept C193125573 @default.
- W2583543438 hasConcept C199360897 @default.
- W2583543438 hasConcept C204321447 @default.
- W2583543438 hasConcept C206880738 @default.
- W2583543438 hasConcept C2776372474 @default.
- W2583543438 hasConcept C2780654840 @default.
- W2583543438 hasConcept C41008148 @default.
- W2583543438 hasConcept C527412718 @default.
- W2583543438 hasConcept C58646249 @default.
- W2583543438 hasConcept C60048249 @default.
- W2583543438 hasConceptScore W2583543438C111472728 @default.
- W2583543438 hasConceptScore W2583543438C114408938 @default.
- W2583543438 hasConceptScore W2583543438C122783720 @default.
- W2583543438 hasConceptScore W2583543438C138885662 @default.
- W2583543438 hasConceptScore W2583543438C154945302 @default.
- W2583543438 hasConceptScore W2583543438C184337299 @default.
- W2583543438 hasConceptScore W2583543438C193125573 @default.
- W2583543438 hasConceptScore W2583543438C199360897 @default.
- W2583543438 hasConceptScore W2583543438C204321447 @default.
- W2583543438 hasConceptScore W2583543438C206880738 @default.
- W2583543438 hasConceptScore W2583543438C2776372474 @default.
- W2583543438 hasConceptScore W2583543438C2780654840 @default.
- W2583543438 hasConceptScore W2583543438C41008148 @default.
- W2583543438 hasConceptScore W2583543438C527412718 @default.
- W2583543438 hasConceptScore W2583543438C58646249 @default.
- W2583543438 hasConceptScore W2583543438C60048249 @default.
- W2583543438 hasLocation W25835434381 @default.
- W2583543438 hasOpenAccess W2583543438 @default.
- W2583543438 hasPrimaryLocation W25835434381 @default.
- W2583543438 hasRelatedWork W137561471 @default.
- W2583543438 hasRelatedWork W171871107 @default.
- W2583543438 hasRelatedWork W1765662975 @default.
- W2583543438 hasRelatedWork W1987609323 @default.
- W2583543438 hasRelatedWork W2009464583 @default.
- W2583543438 hasRelatedWork W2039582480 @default.
- W2583543438 hasRelatedWork W2046763303 @default.
- W2583543438 hasRelatedWork W2103846976 @default.
- W2583543438 hasRelatedWork W2143599182 @default.
- W2583543438 hasRelatedWork W2260835020 @default.
- W2583543438 hasRelatedWork W25154208 @default.
- W2583543438 hasRelatedWork W2589353742 @default.
- W2583543438 hasRelatedWork W2794771943 @default.
- W2583543438 hasRelatedWork W2951189219 @default.
- W2583543438 hasRelatedWork W2969083827 @default.
- W2583543438 hasRelatedWork W3015119114 @default.
- W2583543438 hasRelatedWork W3126167771 @default.
- W2583543438 hasRelatedWork W348923616 @default.
- W2583543438 hasRelatedWork W39162179 @default.
- W2583543438 hasRelatedWork W84457820 @default.
- W2583543438 hasVolume "2016" @default.
- W2583543438 isParatext "false" @default.
- W2583543438 isRetracted "false" @default.
- W2583543438 magId "2583543438" @default.
- W2583543438 workType "article" @default.