Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026735265> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W2026735265 abstract "Program correctness is central to computing, with instructors striving to convey the importance of getting it right starting in CS1. Teaching this material carefully demands a uniform framework to specify, implement, and reason about software correctness. To make these ideas accessible to educators and students, the tutorial will use RESOLVE, an integrated specification and programming language with a toolset especially designed for building verified components. The tutorial will also discuss how to get students involved through hands-on activities with software construction and modular verification using a web-integrated environment that requires no software installation and that features a prototype 'push-button' verifying compiler. The proposers have taught the ideas contained here using engaging pedagogical methods in introductory and advanced CS courses to thousands of students and dozens of educators over the past 20 years, and this SIGCSE tutorial will leverage that experience." @default.
- W2026735265 created "2016-06-24" @default.
- W2026735265 creator A5023529796 @default.
- W2026735265 creator A5047326006 @default.
- W2026735265 date "2014-03-05" @default.
- W2026735265 modified "2023-09-26" @default.
- W2026735265 title "Special session" @default.
- W2026735265 cites W1705210632 @default.
- W2026735265 cites W1967447197 @default.
- W2026735265 cites W2000691319 @default.
- W2026735265 cites W2005973420 @default.
- W2026735265 cites W2026396342 @default.
- W2026735265 cites W2083236745 @default.
- W2026735265 doi "https://doi.org/10.1145/2538862.2538987" @default.
- W2026735265 hasPublicationYear "2014" @default.
- W2026735265 type Work @default.
- W2026735265 sameAs 2026735265 @default.
- W2026735265 citedByCount "2" @default.
- W2026735265 countsByYear W20267352652015 @default.
- W2026735265 countsByYear W20267352652016 @default.
- W2026735265 crossrefType "proceedings-article" @default.
- W2026735265 hasAuthorship W2026735265A5023529796 @default.
- W2026735265 hasAuthorship W2026735265A5047326006 @default.
- W2026735265 hasConcept C136764020 @default.
- W2026735265 hasConcept C2779182362 @default.
- W2026735265 hasConcept C41008148 @default.
- W2026735265 hasConceptScore W2026735265C136764020 @default.
- W2026735265 hasConceptScore W2026735265C2779182362 @default.
- W2026735265 hasConceptScore W2026735265C41008148 @default.
- W2026735265 hasLocation W20267352651 @default.
- W2026735265 hasOpenAccess W2026735265 @default.
- W2026735265 hasPrimaryLocation W20267352651 @default.
- W2026735265 hasRelatedWork W1976086524 @default.
- W2026735265 hasRelatedWork W2078680306 @default.
- W2026735265 hasRelatedWork W2112668038 @default.
- W2026735265 hasRelatedWork W2348742136 @default.
- W2026735265 hasRelatedWork W3087157779 @default.
- W2026735265 hasRelatedWork W4230536726 @default.
- W2026735265 hasRelatedWork W4231927834 @default.
- W2026735265 hasRelatedWork W4248120002 @default.
- W2026735265 hasRelatedWork W4290792893 @default.
- W2026735265 hasRelatedWork W4306770904 @default.
- W2026735265 isParatext "false" @default.
- W2026735265 isRetracted "false" @default.
- W2026735265 magId "2026735265" @default.
- W2026735265 workType "article" @default.