Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589239973> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1589239973 endingPage "339" @default.
- W1589239973 startingPage "322" @default.
- W1589239973 abstract "Following earlier models, we lift standard deterministic and nondeterministic semantics of imperative programs to probabilistic semantics. This semantics allows for random external inputs of known or unknown probability and random number generators." @default.
- W1589239973 created "2016-06-24" @default.
- W1589239973 creator A5067069157 @default.
- W1589239973 date "2000-01-01" @default.
- W1589239973 modified "2023-09-23" @default.
- W1589239973 title "Abstract Interpretation of Probabilistic Semantics" @default.
- W1589239973 cites W1526619182 @default.
- W1589239973 cites W1567887689 @default.
- W1589239973 cites W1726736548 @default.
- W1589239973 cites W2024355065 @default.
- W1589239973 cites W2045326928 @default.
- W1589239973 cites W2081810835 @default.
- W1589239973 cites W2135795876 @default.
- W1589239973 cites W4205518192 @default.
- W1589239973 cites W4256325836 @default.
- W1589239973 doi "https://doi.org/10.1007/978-3-540-45099-3_17" @default.
- W1589239973 hasPublicationYear "2000" @default.
- W1589239973 type Work @default.
- W1589239973 sameAs 1589239973 @default.
- W1589239973 citedByCount "80" @default.
- W1589239973 countsByYear W15892399732012 @default.
- W1589239973 countsByYear W15892399732013 @default.
- W1589239973 countsByYear W15892399732014 @default.
- W1589239973 countsByYear W15892399732015 @default.
- W1589239973 countsByYear W15892399732016 @default.
- W1589239973 countsByYear W15892399732017 @default.
- W1589239973 countsByYear W15892399732018 @default.
- W1589239973 countsByYear W15892399732019 @default.
- W1589239973 countsByYear W15892399732020 @default.
- W1589239973 countsByYear W15892399732021 @default.
- W1589239973 countsByYear W15892399732022 @default.
- W1589239973 countsByYear W15892399732023 @default.
- W1589239973 crossrefType "book-chapter" @default.
- W1589239973 hasAuthorship W1589239973A5067069157 @default.
- W1589239973 hasBestOaLocation W15892399732 @default.
- W1589239973 hasConcept C154945302 @default.
- W1589239973 hasConcept C15744967 @default.
- W1589239973 hasConcept C184337299 @default.
- W1589239973 hasConcept C199360897 @default.
- W1589239973 hasConcept C204321447 @default.
- W1589239973 hasConcept C41008148 @default.
- W1589239973 hasConcept C49937458 @default.
- W1589239973 hasConcept C527412718 @default.
- W1589239973 hasConceptScore W1589239973C154945302 @default.
- W1589239973 hasConceptScore W1589239973C15744967 @default.
- W1589239973 hasConceptScore W1589239973C184337299 @default.
- W1589239973 hasConceptScore W1589239973C199360897 @default.
- W1589239973 hasConceptScore W1589239973C204321447 @default.
- W1589239973 hasConceptScore W1589239973C41008148 @default.
- W1589239973 hasConceptScore W1589239973C49937458 @default.
- W1589239973 hasConceptScore W1589239973C527412718 @default.
- W1589239973 hasLocation W15892399731 @default.
- W1589239973 hasLocation W15892399732 @default.
- W1589239973 hasOpenAccess W1589239973 @default.
- W1589239973 hasPrimaryLocation W15892399731 @default.
- W1589239973 hasRelatedWork W1483213041 @default.
- W1589239973 hasRelatedWork W1541271503 @default.
- W1589239973 hasRelatedWork W1587224678 @default.
- W1589239973 hasRelatedWork W1603968847 @default.
- W1589239973 hasRelatedWork W1778728081 @default.
- W1589239973 hasRelatedWork W2056977125 @default.
- W1589239973 hasRelatedWork W2090686886 @default.
- W1589239973 hasRelatedWork W27605384 @default.
- W1589239973 hasRelatedWork W288103726 @default.
- W1589239973 hasRelatedWork W1894736207 @default.
- W1589239973 isParatext "false" @default.
- W1589239973 isRetracted "false" @default.
- W1589239973 magId "1589239973" @default.
- W1589239973 workType "book-chapter" @default.