Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110108549> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2110108549 abstract "interpretation formalizes the idea of approximate computation in which computation is performed with descriptions of data rather than the data itself. Approximate computation is wellknown from everyday use. Examples are the casting out of nines to check numerical computations and application of the rules of signs, such as “plus times minus yields minus.” The disadvantage of an approximate computation is that the result it yields is not, in general, as precise as those of the proper computation. However this is compensated for by the fact that the approximate computation is (usually) much faster than the proper computation. Our concern is with the approximate computation of programs. In this case, the difference in speed between proper and approximate computation may be extreme: non-termination versus termination." @default.
- W2110108549 created "2016-06-24" @default.
- W2110108549 creator A5085695563 @default.
- W2110108549 creator A5090766093 @default.
- W2110108549 date "1989-01-01" @default.
- W2110108549 modified "2023-09-26" @default.
- W2110108549 title "Notes for a Tutorial on Abstract Interpretation of Logic Programs" @default.
- W2110108549 cites W1483568252 @default.
- W2110108549 cites W1523016082 @default.
- W2110108549 cites W1530251652 @default.
- W2110108549 cites W1535051828 @default.
- W2110108549 cites W1541434994 @default.
- W2110108549 cites W1562824671 @default.
- W2110108549 cites W1570025952 @default.
- W2110108549 cites W1581551064 @default.
- W2110108549 cites W158887749 @default.
- W2110108549 cites W1599217540 @default.
- W2110108549 cites W1599561194 @default.
- W2110108549 cites W169032359 @default.
- W2110108549 cites W1855771754 @default.
- W2110108549 cites W1975813326 @default.
- W2110108549 cites W1983305931 @default.
- W2110108549 cites W2004716892 @default.
- W2110108549 cites W2007478709 @default.
- W2110108549 cites W2014764321 @default.
- W2110108549 cites W2020530016 @default.
- W2110108549 cites W2043100293 @default.
- W2110108549 cites W2063236708 @default.
- W2110108549 cites W2069293912 @default.
- W2110108549 cites W2083747395 @default.
- W2110108549 cites W2086910004 @default.
- W2110108549 cites W2088017390 @default.
- W2110108549 cites W2088126145 @default.
- W2110108549 cites W2098120938 @default.
- W2110108549 cites W2111304450 @default.
- W2110108549 cites W2126384248 @default.
- W2110108549 cites W2143382644 @default.
- W2110108549 cites W2521486077 @default.
- W2110108549 cites W2526042193 @default.
- W2110108549 cites W3096089467 @default.
- W2110108549 cites W331842672 @default.
- W2110108549 cites W42890986 @default.
- W2110108549 cites W43297711 @default.
- W2110108549 cites W45342048 @default.
- W2110108549 hasPublicationYear "1989" @default.
- W2110108549 type Work @default.
- W2110108549 sameAs 2110108549 @default.
- W2110108549 citedByCount "14" @default.
- W2110108549 countsByYear W21101085492012 @default.
- W2110108549 crossrefType "journal-article" @default.
- W2110108549 hasAuthorship W2110108549A5085695563 @default.
- W2110108549 hasAuthorship W2110108549A5090766093 @default.
- W2110108549 hasConcept C11413529 @default.
- W2110108549 hasConcept C199360897 @default.
- W2110108549 hasConcept C41008148 @default.
- W2110108549 hasConcept C45374587 @default.
- W2110108549 hasConcept C527412718 @default.
- W2110108549 hasConcept C80444323 @default.
- W2110108549 hasConceptScore W2110108549C11413529 @default.
- W2110108549 hasConceptScore W2110108549C199360897 @default.
- W2110108549 hasConceptScore W2110108549C41008148 @default.
- W2110108549 hasConceptScore W2110108549C45374587 @default.
- W2110108549 hasConceptScore W2110108549C527412718 @default.
- W2110108549 hasConceptScore W2110108549C80444323 @default.
- W2110108549 hasLocation W21101085491 @default.
- W2110108549 hasOpenAccess W2110108549 @default.
- W2110108549 hasPrimaryLocation W21101085491 @default.
- W2110108549 hasRelatedWork W100418935 @default.
- W2110108549 hasRelatedWork W128105748 @default.
- W2110108549 hasRelatedWork W1535051828 @default.
- W2110108549 hasRelatedWork W2001265243 @default.
- W2110108549 hasRelatedWork W2003914809 @default.
- W2110108549 hasRelatedWork W2008289497 @default.
- W2110108549 hasRelatedWork W2014764321 @default.
- W2110108549 hasRelatedWork W2024886390 @default.
- W2110108549 hasRelatedWork W2030224590 @default.
- W2110108549 hasRelatedWork W2043100293 @default.
- W2110108549 hasRelatedWork W2043827880 @default.
- W2110108549 hasRelatedWork W2044778622 @default.
- W2110108549 hasRelatedWork W2057821410 @default.
- W2110108549 hasRelatedWork W207722629 @default.
- W2110108549 hasRelatedWork W2081810835 @default.
- W2110108549 hasRelatedWork W2083753392 @default.
- W2110108549 hasRelatedWork W2110916215 @default.
- W2110108549 hasRelatedWork W2126384248 @default.
- W2110108549 hasRelatedWork W2521486077 @default.
- W2110108549 hasRelatedWork W42890986 @default.
- W2110108549 isParatext "false" @default.
- W2110108549 isRetracted "false" @default.
- W2110108549 magId "2110108549" @default.
- W2110108549 workType "article" @default.