Matches in SemOpenAlex for { <https://semopenalex.org/work/W49062807> ?p ?o ?g. }
- W49062807 abstract "To know if a program is correct, one needs specifications that say what the program is intended to do or intended not to do. But how does one write such specifications for object-oriented software with subtypes and dynamicallydispatched methods, and how does one reason about the semantics of such programs? These lectures give the semantics of a language with modern objectoriented features and consider several issues in the specification of object-oriented programs, including some recently formalized methodology. The lectures also include a demo of a programming tool that reasons semantically about programs and uses an automatic theorem prover to find common errors, and go through some issues in designing such a checker. This note contains a sample of references related to my lectures at the summer school on Formal Models of Software, 1–6 September 2003, Ecole Polytechnique de Tunisie, Tunis, Tunisia. 0 Overview papers of Extended Static Checking tools and technology 0. David L. Detlefs, K. Rustan M. Leino, Greg Nelson, and James B. Saxe. Extended static checking. Research Report 159, Compaq Systems Research Center, December 1998. 1. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), volume 37, number 5 in SIGPLAN Notices, pages 234–245. ACM, May 2002. 2. K. Rustan M. Leino. Extended static checking: A ten-year perspective. In Reinhard Wilhelm, editor, Informatics—10 Years Back, 10 Years Ahead, volume 2000 of Lecture Notes in Computer Science. Springer, 2000. 3. K. Rustan M. Leino, Greg Nelson, and James B. Saxe. ESC/Java user’s manual. Technical Note 2000-002, Compaq Systems Research Center, October 2000. 1 ESC/Java checking technology 4. Edsger W. Dijkstra. A Discipline of Programming. Prentice Hall, Englewood Cliffs, NJ, 1976." @default.
- W49062807 created "2016-06-24" @default.
- W49062807 creator A5014066009 @default.
- W49062807 creator A5042359645 @default.
- W49062807 creator A5073853337 @default.
- W49062807 creator A5077941255 @default.
- W49062807 date "2003-01-01" @default.
- W49062807 modified "2023-10-17" @default.
- W49062807 title "Technologies for finding errors in object-oriented software" @default.
- W49062807 cites W1559870885 @default.
- W49062807 cites W1593280365 @default.
- W49062807 cites W1992431017 @default.
- W49062807 cites W1993836075 @default.
- W49062807 cites W1995384620 @default.
- W49062807 cites W1998070736 @default.
- W49062807 cites W2003539206 @default.
- W49062807 cites W2005192022 @default.
- W49062807 cites W2011444209 @default.
- W49062807 cites W2030865387 @default.
- W49062807 cites W2043100293 @default.
- W49062807 cites W2046317364 @default.
- W49062807 cites W2055477538 @default.
- W49062807 cites W2057835515 @default.
- W49062807 cites W2070869623 @default.
- W49062807 cites W2082724648 @default.
- W49062807 cites W2084974764 @default.
- W49062807 cites W2089139117 @default.
- W49062807 cites W2091089602 @default.
- W49062807 cites W2094160561 @default.
- W49062807 cites W2095224573 @default.
- W49062807 cites W2096601022 @default.
- W49062807 cites W2098495346 @default.
- W49062807 cites W2103714221 @default.
- W49062807 cites W2103953153 @default.
- W49062807 cites W2106972913 @default.
- W49062807 cites W2107283383 @default.
- W49062807 cites W2107995193 @default.
- W49062807 cites W2109875364 @default.
- W49062807 cites W2110050316 @default.
- W49062807 cites W2121444793 @default.
- W49062807 cites W2121759723 @default.
- W49062807 cites W2122291521 @default.
- W49062807 cites W2130175237 @default.
- W49062807 cites W2135274583 @default.
- W49062807 cites W2136371406 @default.
- W49062807 cites W2151131364 @default.
- W49062807 cites W2156268601 @default.
- W49062807 cites W2165121897 @default.
- W49062807 cites W2166985644 @default.
- W49062807 cites W2171480813 @default.
- W49062807 cites W2914851881 @default.
- W49062807 cites W3146075203 @default.
- W49062807 cites W49331338 @default.
- W49062807 cites W9555244 @default.
- W49062807 hasPublicationYear "2003" @default.
- W49062807 type Work @default.
- W49062807 sameAs 49062807 @default.
- W49062807 citedByCount "0" @default.
- W49062807 crossrefType "journal-article" @default.
- W49062807 hasAuthorship W49062807A5014066009 @default.
- W49062807 hasAuthorship W49062807A5042359645 @default.
- W49062807 hasAuthorship W49062807A5073853337 @default.
- W49062807 hasAuthorship W49062807A5077941255 @default.
- W49062807 hasConcept C110251889 @default.
- W49062807 hasConcept C115903868 @default.
- W49062807 hasConcept C154945302 @default.
- W49062807 hasConcept C184337299 @default.
- W49062807 hasConcept C199360897 @default.
- W49062807 hasConcept C2777904410 @default.
- W49062807 hasConcept C2781238097 @default.
- W49062807 hasConcept C41008148 @default.
- W49062807 hasConcept C548217200 @default.
- W49062807 hasConcept C73752529 @default.
- W49062807 hasConceptScore W49062807C110251889 @default.
- W49062807 hasConceptScore W49062807C115903868 @default.
- W49062807 hasConceptScore W49062807C154945302 @default.
- W49062807 hasConceptScore W49062807C184337299 @default.
- W49062807 hasConceptScore W49062807C199360897 @default.
- W49062807 hasConceptScore W49062807C2777904410 @default.
- W49062807 hasConceptScore W49062807C2781238097 @default.
- W49062807 hasConceptScore W49062807C41008148 @default.
- W49062807 hasConceptScore W49062807C548217200 @default.
- W49062807 hasConceptScore W49062807C73752529 @default.
- W49062807 hasLocation W490628071 @default.
- W49062807 hasOpenAccess W49062807 @default.
- W49062807 hasPrimaryLocation W490628071 @default.
- W49062807 hasRelatedWork W1529114376 @default.
- W49062807 hasRelatedWork W1567843349 @default.
- W49062807 hasRelatedWork W1968954882 @default.
- W49062807 hasRelatedWork W1990570374 @default.
- W49062807 hasRelatedWork W1994037692 @default.
- W49062807 hasRelatedWork W2104800879 @default.
- W49062807 hasRelatedWork W2109888608 @default.
- W49062807 hasRelatedWork W2116751864 @default.
- W49062807 hasRelatedWork W2128986004 @default.
- W49062807 hasRelatedWork W2136039826 @default.
- W49062807 hasRelatedWork W2149618060 @default.
- W49062807 hasRelatedWork W2157149359 @default.
- W49062807 hasRelatedWork W2162507778 @default.
- W49062807 hasRelatedWork W2164439101 @default.