Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575813502> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1575813502 endingPage "128" @default.
- W1575813502 startingPage "102" @default.
- W1575813502 abstract "We provide a HOL formalisation for analysing expected time bounds for probabilistic programs. Our formalisation is based on the quantitative program logic of Morgan et al. [21] and McIver's extension of it [17] to include performance-style operators. In addition we provide some novel results based on probabilistic data refinement which we use to improve the utility of the basic method." @default.
- W1575813502 created "2016-06-24" @default.
- W1575813502 creator A5035107880 @default.
- W1575813502 creator A5047332384 @default.
- W1575813502 date "2004-06-01" @default.
- W1575813502 modified "2023-09-23" @default.
- W1575813502 title "Cost-based analysis of probabilistic programs mechanised in HOL" @default.
- W1575813502 cites W1497695679 @default.
- W1575813502 cites W1503870455 @default.
- W1575813502 cites W1511826042 @default.
- W1575813502 cites W1521083034 @default.
- W1575813502 cites W1552647623 @default.
- W1575813502 cites W1559870885 @default.
- W1575813502 cites W1734364899 @default.
- W1575813502 cites W1864574667 @default.
- W1575813502 cites W1983119041 @default.
- W1575813502 cites W1988311925 @default.
- W1575813502 cites W1992996044 @default.
- W1575813502 cites W2016403002 @default.
- W1575813502 cites W2080441874 @default.
- W1575813502 cites W2103953153 @default.
- W1575813502 cites W2113081700 @default.
- W1575813502 cites W2130415189 @default.
- W1575813502 cites W2134991157 @default.
- W1575813502 cites W2141670510 @default.
- W1575813502 cites W2145504432 @default.
- W1575813502 cites W2150056141 @default.
- W1575813502 cites W94183712 @default.
- W1575813502 hasPublicationYear "2004" @default.
- W1575813502 type Work @default.
- W1575813502 sameAs 1575813502 @default.
- W1575813502 citedByCount "0" @default.
- W1575813502 crossrefType "journal-article" @default.
- W1575813502 hasAuthorship W1575813502A5035107880 @default.
- W1575813502 hasAuthorship W1575813502A5047332384 @default.
- W1575813502 hasConcept C154945302 @default.
- W1575813502 hasConcept C17435882 @default.
- W1575813502 hasConcept C199360897 @default.
- W1575813502 hasConcept C2778029271 @default.
- W1575813502 hasConcept C41008148 @default.
- W1575813502 hasConcept C49937458 @default.
- W1575813502 hasConcept C80444323 @default.
- W1575813502 hasConceptScore W1575813502C154945302 @default.
- W1575813502 hasConceptScore W1575813502C17435882 @default.
- W1575813502 hasConceptScore W1575813502C199360897 @default.
- W1575813502 hasConceptScore W1575813502C2778029271 @default.
- W1575813502 hasConceptScore W1575813502C41008148 @default.
- W1575813502 hasConceptScore W1575813502C49937458 @default.
- W1575813502 hasConceptScore W1575813502C80444323 @default.
- W1575813502 hasIssue "2" @default.
- W1575813502 hasLocation W15758135021 @default.
- W1575813502 hasOpenAccess W1575813502 @default.
- W1575813502 hasPrimaryLocation W15758135021 @default.
- W1575813502 hasRelatedWork W122118143 @default.
- W1575813502 hasRelatedWork W1525100661 @default.
- W1575813502 hasRelatedWork W1552647623 @default.
- W1575813502 hasRelatedWork W1734364899 @default.
- W1575813502 hasRelatedWork W2044000055 @default.
- W1575813502 hasRelatedWork W2049604087 @default.
- W1575813502 hasRelatedWork W2072033902 @default.
- W1575813502 hasRelatedWork W2103953153 @default.
- W1575813502 hasRelatedWork W2113081700 @default.
- W1575813502 hasRelatedWork W2116591673 @default.
- W1575813502 hasRelatedWork W2136755926 @default.
- W1575813502 hasRelatedWork W2141670510 @default.
- W1575813502 hasRelatedWork W2156360706 @default.
- W1575813502 hasRelatedWork W2166496828 @default.
- W1575813502 hasRelatedWork W2294463722 @default.
- W1575813502 hasRelatedWork W2341736594 @default.
- W1575813502 hasRelatedWork W2786061344 @default.
- W1575813502 hasRelatedWork W2950671110 @default.
- W1575813502 hasRelatedWork W3092210673 @default.
- W1575813502 hasRelatedWork W41007281 @default.
- W1575813502 hasVolume "11" @default.
- W1575813502 isParatext "false" @default.
- W1575813502 isRetracted "false" @default.
- W1575813502 magId "1575813502" @default.
- W1575813502 workType "article" @default.