Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018307912> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2018307912 endingPage "95" @default.
- W2018307912 startingPage "60" @default.
- W2018307912 abstract "We consider a substantial subset ofC^#, named C^#S. We develop a mathematical specification for C^#S by formalizing its abstract syntax, execution environment, well-typedness conditions, and operational evaluation semantics. Based on this specification, we prove that C^#S is type-safe by showing that the execution of C^#S programs preserves the types, up to a subtype relationship." @default.
- W2018307912 created "2016-06-24" @default.
- W2018307912 creator A5078289572 @default.
- W2018307912 date "2010-04-01" @default.
- W2018307912 modified "2023-09-27" @default.
- W2018307912 title "Towards proving type safety of" @default.
- W2018307912 cites W1510520642 @default.
- W2018307912 cites W1512874973 @default.
- W2018307912 cites W1519668172 @default.
- W2018307912 cites W1546972708 @default.
- W2018307912 cites W1553537175 @default.
- W2018307912 cites W1557561422 @default.
- W2018307912 cites W1557646685 @default.
- W2018307912 cites W1569794958 @default.
- W2018307912 cites W157065520 @default.
- W2018307912 cites W1584935955 @default.
- W2018307912 cites W1589413956 @default.
- W2018307912 cites W1600689686 @default.
- W2018307912 cites W179373627 @default.
- W2018307912 cites W1798329751 @default.
- W2018307912 cites W1818561783 @default.
- W2018307912 cites W1853368733 @default.
- W2018307912 cites W1887681675 @default.
- W2018307912 cites W1969402593 @default.
- W2018307912 cites W1989536180 @default.
- W2018307912 cites W1990365157 @default.
- W2018307912 cites W1998090549 @default.
- W2018307912 cites W2006674970 @default.
- W2018307912 cites W2013417779 @default.
- W2018307912 cites W2016945299 @default.
- W2018307912 cites W2072260485 @default.
- W2018307912 cites W2084781194 @default.
- W2018307912 cites W2131540458 @default.
- W2018307912 cites W2134072717 @default.
- W2018307912 cites W2136316331 @default.
- W2018307912 cites W2148829562 @default.
- W2018307912 cites W2166446430 @default.
- W2018307912 cites W2166822586 @default.
- W2018307912 cites W2729476469 @default.
- W2018307912 cites W2914656591 @default.
- W2018307912 cites W3175485889 @default.
- W2018307912 cites W50774051 @default.
- W2018307912 cites W2517312118 @default.
- W2018307912 doi "https://doi.org/10.1016/j.cl.2009.03.001" @default.
- W2018307912 hasPublicationYear "2010" @default.
- W2018307912 type Work @default.
- W2018307912 sameAs 2018307912 @default.
- W2018307912 citedByCount "2" @default.
- W2018307912 countsByYear W20183079122013 @default.
- W2018307912 crossrefType "journal-article" @default.
- W2018307912 hasAuthorship W2018307912A5078289572 @default.
- W2018307912 hasConcept C127313418 @default.
- W2018307912 hasConcept C151730666 @default.
- W2018307912 hasConcept C2777299769 @default.
- W2018307912 hasConcept C41008148 @default.
- W2018307912 hasConceptScore W2018307912C127313418 @default.
- W2018307912 hasConceptScore W2018307912C151730666 @default.
- W2018307912 hasConceptScore W2018307912C2777299769 @default.
- W2018307912 hasConceptScore W2018307912C41008148 @default.
- W2018307912 hasIssue "1" @default.
- W2018307912 hasLocation W20183079121 @default.
- W2018307912 hasOpenAccess W2018307912 @default.
- W2018307912 hasPrimaryLocation W20183079121 @default.
- W2018307912 hasRelatedWork W2093578348 @default.
- W2018307912 hasRelatedWork W2096946506 @default.
- W2018307912 hasRelatedWork W2350741829 @default.
- W2018307912 hasRelatedWork W2358668433 @default.
- W2018307912 hasRelatedWork W2376932109 @default.
- W2018307912 hasRelatedWork W2382290278 @default.
- W2018307912 hasRelatedWork W2390279801 @default.
- W2018307912 hasRelatedWork W2748952813 @default.
- W2018307912 hasRelatedWork W2766271392 @default.
- W2018307912 hasRelatedWork W2899084033 @default.
- W2018307912 hasVolume "36" @default.
- W2018307912 isParatext "false" @default.
- W2018307912 isRetracted "false" @default.
- W2018307912 magId "2018307912" @default.
- W2018307912 workType "article" @default.