Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384337844> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4384337844 abstract "We present metalanguages for developing synthetic cost-aware denotational semantics of programming languages. Extending recent advances by Niu et al. in cost and behavioral verification in dependent type theory, we define two successively more expressive metalanguages for studying cost-aware metatheory. We construct synthetic denotational models of the simply-typed lambda calculus and Modernized Algol, a language with first-order store and while loops, and show that they satisfy a cost-aware generalization of the classic Plotkin-type computational adequacy theorem. Moreover, by developing our proofs in a synthetic language of phase-separated constructions of intension and extension, our results easily restrict to the corresponding extensional theorems. Consequently, our work provides a positive answer to the conjecture raised in op. cit. and contributes a framework for cost-aware programming, verification, and metatheory." @default.
- W4384337844 created "2023-07-15" @default.
- W4384337844 creator A5028720578 @default.
- W4384337844 creator A5048049906 @default.
- W4384337844 date "2023-06-26" @default.
- W4384337844 modified "2023-10-17" @default.
- W4384337844 title "A Metalanguage for Cost-Aware Denotational Semantics" @default.
- W4384337844 cites W1532092775 @default.
- W4384337844 cites W1544564247 @default.
- W4384337844 cites W16477519 @default.
- W4384337844 cites W1679875858 @default.
- W4384337844 cites W1760139041 @default.
- W4384337844 cites W188282463 @default.
- W4384337844 cites W1997354605 @default.
- W4384337844 cites W2007270285 @default.
- W4384337844 cites W2094647969 @default.
- W4384337844 cites W2107093915 @default.
- W4384337844 cites W2115985977 @default.
- W4384337844 cites W2182079433 @default.
- W4384337844 cites W2530147817 @default.
- W4384337844 cites W2964672981 @default.
- W4384337844 cites W2977019603 @default.
- W4384337844 cites W3123725507 @default.
- W4384337844 cites W3202721349 @default.
- W4384337844 cites W4206229704 @default.
- W4384337844 cites W4240072532 @default.
- W4384337844 doi "https://doi.org/10.1109/lics56636.2023.10175777" @default.
- W4384337844 hasPublicationYear "2023" @default.
- W4384337844 type Work @default.
- W4384337844 citedByCount "0" @default.
- W4384337844 crossrefType "proceedings-article" @default.
- W4384337844 hasAuthorship W4384337844A5028720578 @default.
- W4384337844 hasAuthorship W4384337844A5048049906 @default.
- W4384337844 hasBestOaLocation W43843378442 @default.
- W4384337844 hasConcept C108710211 @default.
- W4384337844 hasConcept C150355047 @default.
- W4384337844 hasConcept C156325763 @default.
- W4384337844 hasConcept C184337299 @default.
- W4384337844 hasConcept C199360897 @default.
- W4384337844 hasConcept C207648694 @default.
- W4384337844 hasConcept C2524010 @default.
- W4384337844 hasConcept C33923547 @default.
- W4384337844 hasConcept C39387531 @default.
- W4384337844 hasConcept C41008148 @default.
- W4384337844 hasConcept C42383842 @default.
- W4384337844 hasConcept C80444323 @default.
- W4384337844 hasConcept C87365073 @default.
- W4384337844 hasConcept C89448276 @default.
- W4384337844 hasConceptScore W4384337844C108710211 @default.
- W4384337844 hasConceptScore W4384337844C150355047 @default.
- W4384337844 hasConceptScore W4384337844C156325763 @default.
- W4384337844 hasConceptScore W4384337844C184337299 @default.
- W4384337844 hasConceptScore W4384337844C199360897 @default.
- W4384337844 hasConceptScore W4384337844C207648694 @default.
- W4384337844 hasConceptScore W4384337844C2524010 @default.
- W4384337844 hasConceptScore W4384337844C33923547 @default.
- W4384337844 hasConceptScore W4384337844C39387531 @default.
- W4384337844 hasConceptScore W4384337844C41008148 @default.
- W4384337844 hasConceptScore W4384337844C42383842 @default.
- W4384337844 hasConceptScore W4384337844C80444323 @default.
- W4384337844 hasConceptScore W4384337844C87365073 @default.
- W4384337844 hasConceptScore W4384337844C89448276 @default.
- W4384337844 hasFunder F4320306076 @default.
- W4384337844 hasLocation W43843378441 @default.
- W4384337844 hasLocation W43843378442 @default.
- W4384337844 hasOpenAccess W4384337844 @default.
- W4384337844 hasPrimaryLocation W43843378441 @default.
- W4384337844 hasRelatedWork W1500490537 @default.
- W4384337844 hasRelatedWork W1985058553 @default.
- W4384337844 hasRelatedWork W2015633566 @default.
- W4384337844 hasRelatedWork W2080003993 @default.
- W4384337844 hasRelatedWork W2277359857 @default.
- W4384337844 hasRelatedWork W2738461706 @default.
- W4384337844 hasRelatedWork W4242170554 @default.
- W4384337844 hasRelatedWork W4384337844 @default.
- W4384337844 hasRelatedWork W783270985 @default.
- W4384337844 hasRelatedWork W1958334269 @default.
- W4384337844 isParatext "false" @default.
- W4384337844 isRetracted "false" @default.
- W4384337844 workType "article" @default.