Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082149082> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3082149082 endingPage "26" @default.
- W3082149082 startingPage "26" @default.
- W3082149082 abstract "Cyclone [1, 2] is an experimental, type-safe programming language based upon the syntax, semantics, and spirit of C. The primary goal of the language is to provide a type-safe environment that is close enough to C in both appearance and functionality, that systems programmers will find it attractive and useful.The most challenging aspect of the design is capturing the spirit of C without compromising type-safety. In particular, systems programmers expect to have good control over data representations, memory management, and performance. Yet, these features are usually absent from high-level, type-safe languages (e.g., Java). Another challenge is validating a sufficiently wide set of idioms that are in fact type-safe, but which conventional type systems reject.To address these issues, we have used a novel combination of typing features in conjunction with some interesting inference and dataflow techniques. The most novel typing feature is the support for region-based memory management which was summarized in an earlier paper [1]. However, this paper did not discuss the inference techniques we use to validate the regions and effects.In this talk, I will briefly summarize the Cyclone type system and then focus on the analysis issues that arise in its implementation, including (a) kind and type inference, (b) region and effect inference, and (c) dataflow analysis for validating initialization, array subscripts, and linear pointers." @default.
- W3082149082 created "2020-09-08" @default.
- W3082149082 creator A5010728056 @default.
- W3082149082 date "2002-11-18" @default.
- W3082149082 modified "2023-10-17" @default.
- W3082149082 title "Analysis issues for cyclone" @default.
- W3082149082 cites W1981962444 @default.
- W3082149082 doi "https://doi.org/10.1145/634636.586096" @default.
- W3082149082 hasPublicationYear "2002" @default.
- W3082149082 type Work @default.
- W3082149082 sameAs 3082149082 @default.
- W3082149082 citedByCount "3" @default.
- W3082149082 countsByYear W30821490822018 @default.
- W3082149082 countsByYear W30821490822020 @default.
- W3082149082 crossrefType "journal-article" @default.
- W3082149082 hasAuthorship W3082149082A5010728056 @default.
- W3082149082 hasConcept C114466953 @default.
- W3082149082 hasConcept C115903868 @default.
- W3082149082 hasConcept C120665830 @default.
- W3082149082 hasConcept C121332964 @default.
- W3082149082 hasConcept C154945302 @default.
- W3082149082 hasConcept C177264268 @default.
- W3082149082 hasConcept C184337299 @default.
- W3082149082 hasConcept C192209626 @default.
- W3082149082 hasConcept C198370458 @default.
- W3082149082 hasConcept C199360897 @default.
- W3082149082 hasConcept C2776214188 @default.
- W3082149082 hasConcept C41008148 @default.
- W3082149082 hasConcept C44779574 @default.
- W3082149082 hasConcept C48859967 @default.
- W3082149082 hasConcept C548217200 @default.
- W3082149082 hasConcept C60048249 @default.
- W3082149082 hasConcept C96324660 @default.
- W3082149082 hasConceptScore W3082149082C114466953 @default.
- W3082149082 hasConceptScore W3082149082C115903868 @default.
- W3082149082 hasConceptScore W3082149082C120665830 @default.
- W3082149082 hasConceptScore W3082149082C121332964 @default.
- W3082149082 hasConceptScore W3082149082C154945302 @default.
- W3082149082 hasConceptScore W3082149082C177264268 @default.
- W3082149082 hasConceptScore W3082149082C184337299 @default.
- W3082149082 hasConceptScore W3082149082C192209626 @default.
- W3082149082 hasConceptScore W3082149082C198370458 @default.
- W3082149082 hasConceptScore W3082149082C199360897 @default.
- W3082149082 hasConceptScore W3082149082C2776214188 @default.
- W3082149082 hasConceptScore W3082149082C41008148 @default.
- W3082149082 hasConceptScore W3082149082C44779574 @default.
- W3082149082 hasConceptScore W3082149082C48859967 @default.
- W3082149082 hasConceptScore W3082149082C548217200 @default.
- W3082149082 hasConceptScore W3082149082C60048249 @default.
- W3082149082 hasConceptScore W3082149082C96324660 @default.
- W3082149082 hasIssue "1" @default.
- W3082149082 hasLocation W30821490821 @default.
- W3082149082 hasOpenAccess W3082149082 @default.
- W3082149082 hasPrimaryLocation W30821490821 @default.
- W3082149082 hasRelatedWork W1987203566 @default.
- W3082149082 hasRelatedWork W2068706008 @default.
- W3082149082 hasRelatedWork W2112150205 @default.
- W3082149082 hasRelatedWork W2135265328 @default.
- W3082149082 hasRelatedWork W2763815264 @default.
- W3082149082 hasRelatedWork W2924405342 @default.
- W3082149082 hasRelatedWork W3082149082 @default.
- W3082149082 hasRelatedWork W4230932126 @default.
- W3082149082 hasRelatedWork W4246531319 @default.
- W3082149082 hasRelatedWork W2528467228 @default.
- W3082149082 hasVolume "28" @default.
- W3082149082 isParatext "false" @default.
- W3082149082 isRetracted "false" @default.
- W3082149082 magId "3082149082" @default.
- W3082149082 workType "article" @default.