Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995363018> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1995363018 abstract "This paper presents a formal imperative calculus to formalize the semantics of class-based object-oriented programming languages. The tractability of this approach is demonstrated by our formalization of a core subset of the Java programming language called Cool: Core Object-Oriented Language. Cool is relatively small but retains many of modern class-based object-oriented languages' key features, including classes, inheritance, objects, virtual functions and dynamic method dispatch etc. The technical contribution of this paper can be summarized as: first, this paper formalizes a syntactic specification for Cool; second, this paper presents static semantics for Cool via typing rules, and its operational semantics via small-step transition relation. Finally, this paper proves that the formal calculus proposed is type safe." @default.
- W1995363018 created "2016-06-24" @default.
- W1995363018 creator A5022604762 @default.
- W1995363018 creator A5062802638 @default.
- W1995363018 creator A5074522543 @default.
- W1995363018 date "2010-01-01" @default.
- W1995363018 modified "2023-09-27" @default.
- W1995363018 title "An imperative formal calculus for Java" @default.
- W1995363018 cites W1980939032 @default.
- W1995363018 cites W1987454317 @default.
- W1995363018 cites W2033348393 @default.
- W1995363018 cites W2065141544 @default.
- W1995363018 cites W2140086559 @default.
- W1995363018 cites W2686043342 @default.
- W1995363018 cites W2013886348 @default.
- W1995363018 doi "https://doi.org/10.1109/icfcc.2010.5497813" @default.
- W1995363018 hasPublicationYear "2010" @default.
- W1995363018 type Work @default.
- W1995363018 sameAs 1995363018 @default.
- W1995363018 citedByCount "0" @default.
- W1995363018 crossrefType "proceedings-article" @default.
- W1995363018 hasAuthorship W1995363018A5022604762 @default.
- W1995363018 hasAuthorship W1995363018A5062802638 @default.
- W1995363018 hasAuthorship W1995363018A5074522543 @default.
- W1995363018 hasConcept C146499914 @default.
- W1995363018 hasConcept C154945302 @default.
- W1995363018 hasConcept C156325763 @default.
- W1995363018 hasConcept C184337299 @default.
- W1995363018 hasConcept C199360897 @default.
- W1995363018 hasConcept C2164484 @default.
- W1995363018 hasConcept C2777212361 @default.
- W1995363018 hasConcept C41008148 @default.
- W1995363018 hasConcept C44779574 @default.
- W1995363018 hasConcept C548217200 @default.
- W1995363018 hasConcept C73752529 @default.
- W1995363018 hasConcept C75606506 @default.
- W1995363018 hasConcept C76155785 @default.
- W1995363018 hasConcept C80444323 @default.
- W1995363018 hasConceptScore W1995363018C146499914 @default.
- W1995363018 hasConceptScore W1995363018C154945302 @default.
- W1995363018 hasConceptScore W1995363018C156325763 @default.
- W1995363018 hasConceptScore W1995363018C184337299 @default.
- W1995363018 hasConceptScore W1995363018C199360897 @default.
- W1995363018 hasConceptScore W1995363018C2164484 @default.
- W1995363018 hasConceptScore W1995363018C2777212361 @default.
- W1995363018 hasConceptScore W1995363018C41008148 @default.
- W1995363018 hasConceptScore W1995363018C44779574 @default.
- W1995363018 hasConceptScore W1995363018C548217200 @default.
- W1995363018 hasConceptScore W1995363018C73752529 @default.
- W1995363018 hasConceptScore W1995363018C75606506 @default.
- W1995363018 hasConceptScore W1995363018C76155785 @default.
- W1995363018 hasConceptScore W1995363018C80444323 @default.
- W1995363018 hasLocation W19953630181 @default.
- W1995363018 hasOpenAccess W1995363018 @default.
- W1995363018 hasPrimaryLocation W19953630181 @default.
- W1995363018 hasRelatedWork W2097810778 @default.
- W1995363018 hasRelatedWork W2098059862 @default.
- W1995363018 hasRelatedWork W2107316249 @default.
- W1995363018 hasRelatedWork W2124431509 @default.
- W1995363018 hasRelatedWork W2146445117 @default.
- W1995363018 hasRelatedWork W2156223462 @default.
- W1995363018 hasRelatedWork W2358529825 @default.
- W1995363018 hasRelatedWork W2362341649 @default.
- W1995363018 hasRelatedWork W2517585486 @default.
- W1995363018 hasRelatedWork W3000438711 @default.
- W1995363018 isParatext "false" @default.
- W1995363018 isRetracted "false" @default.
- W1995363018 magId "1995363018" @default.
- W1995363018 workType "article" @default.