Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993836075> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1993836075 abstract "Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors. The checker is powered by verification-condition generation and automatic theorem-proving techniques. It provides programmers with a simple annotation language with which programmer design decisions can be expressed formally. ESC/Java examines the annotated software and warns of inconsistencies between the design decisions recorded in the annotations and the actual code, and also warns of potential runtime errors in the code. This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs." @default.
- W1993836075 created "2016-06-24" @default.
- W1993836075 creator A5018139743 @default.
- W1993836075 creator A5020128040 @default.
- W1993836075 creator A5025642451 @default.
- W1993836075 creator A5043145501 @default.
- W1993836075 creator A5063870821 @default.
- W1993836075 creator A5077941255 @default.
- W1993836075 date "2002-05-17" @default.
- W1993836075 modified "2023-10-06" @default.
- W1993836075 title "Extended static checking for Java" @default.
- W1993836075 cites W1498946538 @default.
- W1993836075 cites W1613836731 @default.
- W1993836075 cites W1972085995 @default.
- W1993836075 cites W1992431017 @default.
- W1993836075 cites W1998070736 @default.
- W1993836075 cites W2003539206 @default.
- W1993836075 cites W2005192022 @default.
- W1993836075 cites W2024764276 @default.
- W1993836075 cites W2042751794 @default.
- W1993836075 cites W2043100293 @default.
- W1993836075 cites W2043811931 @default.
- W1993836075 cites W2061438988 @default.
- W1993836075 cites W2070869623 @default.
- W1993836075 cites W2090962365 @default.
- W1993836075 cites W2091089602 @default.
- W1993836075 cites W2103318645 @default.
- W1993836075 cites W2121759723 @default.
- W1993836075 cites W2135274583 @default.
- W1993836075 cites W2147421365 @default.
- W1993836075 cites W3023216518 @default.
- W1993836075 doi "https://doi.org/10.1145/512529.512558" @default.
- W1993836075 hasPublicationYear "2002" @default.
- W1993836075 type Work @default.
- W1993836075 sameAs 1993836075 @default.
- W1993836075 citedByCount "1101" @default.
- W1993836075 countsByYear W19938360752012 @default.
- W1993836075 countsByYear W19938360752013 @default.
- W1993836075 countsByYear W19938360752014 @default.
- W1993836075 countsByYear W19938360752015 @default.
- W1993836075 countsByYear W19938360752016 @default.
- W1993836075 countsByYear W19938360752017 @default.
- W1993836075 countsByYear W19938360752018 @default.
- W1993836075 countsByYear W19938360752019 @default.
- W1993836075 countsByYear W19938360752020 @default.
- W1993836075 countsByYear W19938360752021 @default.
- W1993836075 countsByYear W19938360752022 @default.
- W1993836075 countsByYear W19938360752023 @default.
- W1993836075 crossrefType "proceedings-article" @default.
- W1993836075 hasAuthorship W1993836075A5018139743 @default.
- W1993836075 hasAuthorship W1993836075A5020128040 @default.
- W1993836075 hasAuthorship W1993836075A5025642451 @default.
- W1993836075 hasAuthorship W1993836075A5043145501 @default.
- W1993836075 hasAuthorship W1993836075A5063870821 @default.
- W1993836075 hasAuthorship W1993836075A5077941255 @default.
- W1993836075 hasConcept C111919701 @default.
- W1993836075 hasConcept C199360897 @default.
- W1993836075 hasConcept C41008148 @default.
- W1993836075 hasConcept C548217200 @default.
- W1993836075 hasConceptScore W1993836075C111919701 @default.
- W1993836075 hasConceptScore W1993836075C199360897 @default.
- W1993836075 hasConceptScore W1993836075C41008148 @default.
- W1993836075 hasConceptScore W1993836075C548217200 @default.
- W1993836075 hasLocation W19938360751 @default.
- W1993836075 hasOpenAccess W1993836075 @default.
- W1993836075 hasPrimaryLocation W19938360751 @default.
- W1993836075 hasRelatedWork W1502256359 @default.
- W1993836075 hasRelatedWork W1538236101 @default.
- W1993836075 hasRelatedWork W1558040955 @default.
- W1993836075 hasRelatedWork W1571558219 @default.
- W1993836075 hasRelatedWork W1582583636 @default.
- W1993836075 hasRelatedWork W185412380 @default.
- W1993836075 hasRelatedWork W2057087473 @default.
- W1993836075 hasRelatedWork W2168198346 @default.
- W1993836075 hasRelatedWork W2318930520 @default.
- W1993836075 hasRelatedWork W2528467228 @default.
- W1993836075 isParatext "false" @default.
- W1993836075 isRetracted "false" @default.
- W1993836075 magId "1993836075" @default.
- W1993836075 workType "article" @default.