Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073345936> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2073345936 endingPage "73" @default.
- W2073345936 startingPage "45" @default.
- W2073345936 abstract "This paper shows how logic programs can be used to implement the transition functions of denotational abstract interpretation. The logic variables express regularity in the abstract behaviour of commands. The technique has been applied to sign, class and escape analysis for object-oriented programs. We show that the time and space costs using logic programs for these analyses are smaller than those using a ground relational representation. Moreover, we show that, in the case of sign analysis, our technique requires less memory and has an efficiency comparable to that of an implementation based on binary decision diagrams." @default.
- W2073345936 created "2016-06-24" @default.
- W2073345936 creator A5022948889 @default.
- W2073345936 creator A5051480560 @default.
- W2073345936 date "2003-10-01" @default.
- W2073345936 modified "2023-10-16" @default.
- W2073345936 title "Logic programs as compact denotations" @default.
- W2073345936 cites W1491178396 @default.
- W2073345936 cites W1491977649 @default.
- W2073345936 cites W1516418361 @default.
- W2073345936 cites W1531074043 @default.
- W2073345936 cites W1540933342 @default.
- W2073345936 cites W1548901617 @default.
- W2073345936 cites W1572133326 @default.
- W2073345936 cites W1811435802 @default.
- W2073345936 cites W183453064 @default.
- W2073345936 cites W1847439926 @default.
- W2073345936 cites W19219339 @default.
- W2073345936 cites W1987962669 @default.
- W2073345936 cites W2019376542 @default.
- W2073345936 cites W2036719919 @default.
- W2073345936 cites W2043100293 @default.
- W2073345936 cites W2051600169 @default.
- W2073345936 cites W2067872353 @default.
- W2073345936 cites W2072350000 @default.
- W2073345936 cites W2072964972 @default.
- W2073345936 cites W2080267935 @default.
- W2073345936 cites W2166822586 @default.
- W2073345936 cites W3003304722 @default.
- W2073345936 doi "https://doi.org/10.1016/s1477-8424(03)00023-x" @default.
- W2073345936 hasPublicationYear "2003" @default.
- W2073345936 type Work @default.
- W2073345936 sameAs 2073345936 @default.
- W2073345936 citedByCount "0" @default.
- W2073345936 crossrefType "journal-article" @default.
- W2073345936 hasAuthorship W2073345936A5022948889 @default.
- W2073345936 hasAuthorship W2073345936A5051480560 @default.
- W2073345936 hasConcept C11413529 @default.
- W2073345936 hasConcept C134306372 @default.
- W2073345936 hasConcept C139676723 @default.
- W2073345936 hasConcept C154945302 @default.
- W2073345936 hasConcept C17744445 @default.
- W2073345936 hasConcept C199360897 @default.
- W2073345936 hasConcept C199539241 @default.
- W2073345936 hasConcept C2776359362 @default.
- W2073345936 hasConcept C2777212361 @default.
- W2073345936 hasConcept C2780654840 @default.
- W2073345936 hasConcept C3309909 @default.
- W2073345936 hasConcept C33923547 @default.
- W2073345936 hasConcept C41008148 @default.
- W2073345936 hasConcept C527412718 @default.
- W2073345936 hasConcept C80444323 @default.
- W2073345936 hasConcept C94625758 @default.
- W2073345936 hasConceptScore W2073345936C11413529 @default.
- W2073345936 hasConceptScore W2073345936C134306372 @default.
- W2073345936 hasConceptScore W2073345936C139676723 @default.
- W2073345936 hasConceptScore W2073345936C154945302 @default.
- W2073345936 hasConceptScore W2073345936C17744445 @default.
- W2073345936 hasConceptScore W2073345936C199360897 @default.
- W2073345936 hasConceptScore W2073345936C199539241 @default.
- W2073345936 hasConceptScore W2073345936C2776359362 @default.
- W2073345936 hasConceptScore W2073345936C2777212361 @default.
- W2073345936 hasConceptScore W2073345936C2780654840 @default.
- W2073345936 hasConceptScore W2073345936C3309909 @default.
- W2073345936 hasConceptScore W2073345936C33923547 @default.
- W2073345936 hasConceptScore W2073345936C41008148 @default.
- W2073345936 hasConceptScore W2073345936C527412718 @default.
- W2073345936 hasConceptScore W2073345936C80444323 @default.
- W2073345936 hasConceptScore W2073345936C94625758 @default.
- W2073345936 hasIssue "3" @default.
- W2073345936 hasLocation W20733459361 @default.
- W2073345936 hasOpenAccess W2073345936 @default.
- W2073345936 hasPrimaryLocation W20733459361 @default.
- W2073345936 hasRelatedWork W1531814151 @default.
- W2073345936 hasRelatedWork W1550288578 @default.
- W2073345936 hasRelatedWork W179661928 @default.
- W2073345936 hasRelatedWork W2021410963 @default.
- W2073345936 hasRelatedWork W2074638034 @default.
- W2073345936 hasRelatedWork W2172022734 @default.
- W2073345936 hasRelatedWork W2952657391 @default.
- W2073345936 hasRelatedWork W3137189469 @default.
- W2073345936 hasRelatedWork W3146823024 @default.
- W2073345936 hasRelatedWork W4245681215 @default.
- W2073345936 hasVolume "29" @default.
- W2073345936 isParatext "false" @default.
- W2073345936 isRetracted "false" @default.
- W2073345936 magId "2073345936" @default.
- W2073345936 workType "article" @default.