Matches in SemOpenAlex for { <https://semopenalex.org/work/W82727297> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W82727297 abstract "The CleanJava language is a formal annotation language for Java to support Cleanroom-style functional program verification that views a program as a mathematical function from one program state to another. The CleanJava notation is based on the Java expression syntax with a few extensions, and thus its vocabulary is somewhat limited to that of Java. This often makes it difficult to specify the rich semantics of a Java program in a succinct and natural way that is easy to manipulate for formal correctness reasoning. In this paper we propose to make the CleanJava language more expressive by supporting userdefined mathematical functions that are introduced solely for the purpose of writing annotations. A user-defined function is written in a notation similar to those of modern functional programming languages like SML and Haskell and has properties such as polymorphism and type inference. We also explain how the notion of functions fits in the object-oriented world of Java with concepts like inheritance and method overriding. User-defined functions not only enrich the vocabulary of CleanJava but also allow one to tune the abstraction level of annotations. One contribution of our work is bringing the notion of functions as found in modern functional programming languages to an object-oriented programming language in the context of writing annotations, thus blending the benefits of two programming paradigms." @default.
- W82727297 created "2016-06-24" @default.
- W82727297 creator A5017149388 @default.
- W82727297 creator A5081905597 @default.
- W82727297 date "2013-01-01" @default.
- W82727297 modified "2023-09-26" @default.
- W82727297 title "Enhancing the Expressiveness of the CleanJava Language" @default.
- W82727297 cites W1518820345 @default.
- W82727297 cites W1522727757 @default.
- W82727297 cites W1553992341 @default.
- W82727297 cites W1602280296 @default.
- W82727297 cites W1829244603 @default.
- W82727297 cites W184481476 @default.
- W82727297 cites W2109788087 @default.
- W82727297 cites W2144973245 @default.
- W82727297 cites W2945598998 @default.
- W82727297 cites W58471515 @default.
- W82727297 cites W606946835 @default.
- W82727297 cites W614523396 @default.
- W82727297 hasPublicationYear "2013" @default.
- W82727297 type Work @default.
- W82727297 sameAs 82727297 @default.
- W82727297 citedByCount "0" @default.
- W82727297 crossrefType "journal-article" @default.
- W82727297 hasAuthorship W82727297A5017149388 @default.
- W82727297 hasAuthorship W82727297A5081905597 @default.
- W82727297 hasConcept C119263510 @default.
- W82727297 hasConcept C132106392 @default.
- W82727297 hasConcept C15077461 @default.
- W82727297 hasConcept C168702491 @default.
- W82727297 hasConcept C172482141 @default.
- W82727297 hasConcept C199360897 @default.
- W82727297 hasConcept C2780624054 @default.
- W82727297 hasConcept C34165917 @default.
- W82727297 hasConcept C41008148 @default.
- W82727297 hasConcept C42383842 @default.
- W82727297 hasConcept C50033165 @default.
- W82727297 hasConcept C548217200 @default.
- W82727297 hasConcept C60945770 @default.
- W82727297 hasConceptScore W82727297C119263510 @default.
- W82727297 hasConceptScore W82727297C132106392 @default.
- W82727297 hasConceptScore W82727297C15077461 @default.
- W82727297 hasConceptScore W82727297C168702491 @default.
- W82727297 hasConceptScore W82727297C172482141 @default.
- W82727297 hasConceptScore W82727297C199360897 @default.
- W82727297 hasConceptScore W82727297C2780624054 @default.
- W82727297 hasConceptScore W82727297C34165917 @default.
- W82727297 hasConceptScore W82727297C41008148 @default.
- W82727297 hasConceptScore W82727297C42383842 @default.
- W82727297 hasConceptScore W82727297C50033165 @default.
- W82727297 hasConceptScore W82727297C548217200 @default.
- W82727297 hasConceptScore W82727297C60945770 @default.
- W82727297 hasLocation W827272971 @default.
- W82727297 hasOpenAccess W82727297 @default.
- W82727297 hasPrimaryLocation W827272971 @default.
- W82727297 hasRelatedWork W1507745449 @default.
- W82727297 hasRelatedWork W1529806022 @default.
- W82727297 hasRelatedWork W1564851403 @default.
- W82727297 hasRelatedWork W1586362748 @default.
- W82727297 hasRelatedWork W1591156284 @default.
- W82727297 hasRelatedWork W2009068123 @default.
- W82727297 hasRelatedWork W2099038599 @default.
- W82727297 hasRelatedWork W2102572938 @default.
- W82727297 hasRelatedWork W2107978050 @default.
- W82727297 hasRelatedWork W2114082520 @default.
- W82727297 hasRelatedWork W2120011042 @default.
- W82727297 hasRelatedWork W2125373133 @default.
- W82727297 hasRelatedWork W2165518126 @default.
- W82727297 hasRelatedWork W2325262602 @default.
- W82727297 hasRelatedWork W2566012199 @default.
- W82727297 hasRelatedWork W2911599335 @default.
- W82727297 hasRelatedWork W3101193881 @default.
- W82727297 hasRelatedWork W3120555375 @default.
- W82727297 hasRelatedWork W608787650 @default.
- W82727297 hasRelatedWork W614523396 @default.
- W82727297 isParatext "false" @default.
- W82727297 isRetracted "false" @default.
- W82727297 magId "82727297" @default.
- W82727297 workType "article" @default.