Matches in SemOpenAlex for { <https://semopenalex.org/work/W4695302> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4695302 abstract "Early in the design of the Java Modeling Language (JML) care was taken in the choice of its logical foundation to ensure that JML could accommodate run-time assertion checking, static analysis and formal verification. At the time, classical two-valued logic was adopted. Since then however, we note that the main JML tools have actually implemented differing semantics, by design. In this paper, we begin by reviewing the current logical semantics of JML and explore some of the ramifications of this choice. We then present the results of a survey of programmers from industry, i.e. JML's targeted end users. We asked them how they want assertions to be interpreted during run-time checking and static verification. Survey results indicate that developers are in favor of a semantics for assertions that is compatible with their current use in runtime checking, and hence consistent with a three-valued logic in which partial functions are modeled explicitly." @default.
- W4695302 created "2016-06-24" @default.
- W4695302 creator A5026825556 @default.
- W4695302 date "2005-01-01" @default.
- W4695302 modified "2023-09-27" @default.
- W4695302 title "Reassessing JML’s Logical Foundation" @default.
- W4695302 cites W1503719891 @default.
- W4695302 cites W1549891226 @default.
- W4695302 cites W1569384739 @default.
- W4695302 cites W1583826417 @default.
- W4695302 cites W1644882639 @default.
- W4695302 cites W1759032052 @default.
- W4695302 cites W1912089697 @default.
- W4695302 cites W1936022305 @default.
- W4695302 cites W1964830323 @default.
- W4695302 cites W1970495662 @default.
- W4695302 cites W2006565521 @default.
- W4695302 cites W2027043094 @default.
- W4695302 cites W2030221869 @default.
- W4695302 cites W2035529004 @default.
- W4695302 cites W2089387242 @default.
- W4695302 cites W2107778618 @default.
- W4695302 cites W2109835551 @default.
- W4695302 cites W2130853806 @default.
- W4695302 cites W2133360754 @default.
- W4695302 cites W2163743319 @default.
- W4695302 cites W2525216991 @default.
- W4695302 hasPublicationYear "2005" @default.
- W4695302 type Work @default.
- W4695302 sameAs 4695302 @default.
- W4695302 citedByCount "3" @default.
- W4695302 crossrefType "journal-article" @default.
- W4695302 hasAuthorship W4695302A5026825556 @default.
- W4695302 hasConcept C110251889 @default.
- W4695302 hasConcept C15524039 @default.
- W4695302 hasConcept C168702491 @default.
- W4695302 hasConcept C184337299 @default.
- W4695302 hasConcept C199360897 @default.
- W4695302 hasConcept C40422974 @default.
- W4695302 hasConcept C41008148 @default.
- W4695302 hasConcept C548217200 @default.
- W4695302 hasConcept C60945770 @default.
- W4695302 hasConcept C80444323 @default.
- W4695302 hasConcept C97686452 @default.
- W4695302 hasConceptScore W4695302C110251889 @default.
- W4695302 hasConceptScore W4695302C15524039 @default.
- W4695302 hasConceptScore W4695302C168702491 @default.
- W4695302 hasConceptScore W4695302C184337299 @default.
- W4695302 hasConceptScore W4695302C199360897 @default.
- W4695302 hasConceptScore W4695302C40422974 @default.
- W4695302 hasConceptScore W4695302C41008148 @default.
- W4695302 hasConceptScore W4695302C548217200 @default.
- W4695302 hasConceptScore W4695302C60945770 @default.
- W4695302 hasConceptScore W4695302C80444323 @default.
- W4695302 hasConceptScore W4695302C97686452 @default.
- W4695302 hasLocation W46953021 @default.
- W4695302 hasOpenAccess W4695302 @default.
- W4695302 hasPrimaryLocation W46953021 @default.
- W4695302 hasRelatedWork W141635303 @default.
- W4695302 hasRelatedWork W1494879905 @default.
- W4695302 hasRelatedWork W1553335919 @default.
- W4695302 hasRelatedWork W1555537310 @default.
- W4695302 hasRelatedWork W1916258364 @default.
- W4695302 hasRelatedWork W2018179987 @default.
- W4695302 hasRelatedWork W2068742255 @default.
- W4695302 hasRelatedWork W2094160561 @default.
- W4695302 hasRelatedWork W2096803479 @default.
- W4695302 hasRelatedWork W2107978050 @default.
- W4695302 hasRelatedWork W2109879514 @default.
- W4695302 hasRelatedWork W2123986639 @default.
- W4695302 hasRelatedWork W2129809495 @default.
- W4695302 hasRelatedWork W2145549849 @default.
- W4695302 hasRelatedWork W2166768964 @default.
- W4695302 hasRelatedWork W2289721470 @default.
- W4695302 hasRelatedWork W2566012199 @default.
- W4695302 hasRelatedWork W33872361 @default.
- W4695302 hasRelatedWork W651233952 @default.
- W4695302 hasRelatedWork W2551180764 @default.
- W4695302 isParatext "false" @default.
- W4695302 isRetracted "false" @default.
- W4695302 magId "4695302" @default.
- W4695302 workType "article" @default.