Matches in SemOpenAlex for { <https://semopenalex.org/work/W34093435> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W34093435 endingPage "51" @default.
- W34093435 startingPage "37" @default.
- W34093435 abstract "A common belief is that formalizing semantics of programming languages requires the use of a proof assistant providing (1) a specification language with advanced features such as higher-order logic, inductive definitions, type polymorphism, and (2) a corresponding proof environment where higher-order and inductive reasoning can be performed, typically with user interaction. In this paper we show that such a formalization is nowadays possible inside a mostly-automatic program verification environment. We substantiate this claim by formalizing several semantics for a simple language, and proving their equivalence, inside the Why3 environment." @default.
- W34093435 created "2016-06-24" @default.
- W34093435 creator A5027356527 @default.
- W34093435 creator A5073566628 @default.
- W34093435 creator A5083571590 @default.
- W34093435 creator A5084552310 @default.
- W34093435 date "2014-01-01" @default.
- W34093435 modified "2023-10-18" @default.
- W34093435 title "Formalizing Semantics with an Automatic Program Verifier" @default.
- W34093435 cites W1493592607 @default.
- W34093435 cites W1501891810 @default.
- W34093435 cites W1526260483 @default.
- W34093435 cites W1545681762 @default.
- W34093435 cites W1553511155 @default.
- W34093435 cites W1565541828 @default.
- W34093435 cites W1566741425 @default.
- W34093435 cites W165943180 @default.
- W34093435 cites W1820726602 @default.
- W34093435 cites W1831545713 @default.
- W34093435 cites W2076409494 @default.
- W34093435 cites W2082841864 @default.
- W34093435 cites W2130427425 @default.
- W34093435 cites W2139626883 @default.
- W34093435 cites W2144738649 @default.
- W34093435 cites W2148662736 @default.
- W34093435 cites W4250846042 @default.
- W34093435 doi "https://doi.org/10.1007/978-3-319-12154-3_3" @default.
- W34093435 hasPublicationYear "2014" @default.
- W34093435 type Work @default.
- W34093435 sameAs 34093435 @default.
- W34093435 citedByCount "9" @default.
- W34093435 countsByYear W340934352016 @default.
- W34093435 countsByYear W340934352017 @default.
- W34093435 countsByYear W340934352018 @default.
- W34093435 countsByYear W340934352021 @default.
- W34093435 crossrefType "book-chapter" @default.
- W34093435 hasAuthorship W34093435A5027356527 @default.
- W34093435 hasAuthorship W34093435A5073566628 @default.
- W34093435 hasAuthorship W34093435A5083571590 @default.
- W34093435 hasAuthorship W34093435A5084552310 @default.
- W34093435 hasBestOaLocation W340934352 @default.
- W34093435 hasConcept C108710211 @default.
- W34093435 hasConcept C138885662 @default.
- W34093435 hasConcept C156325763 @default.
- W34093435 hasConcept C184337299 @default.
- W34093435 hasConcept C199360897 @default.
- W34093435 hasConcept C203265346 @default.
- W34093435 hasConcept C2524010 @default.
- W34093435 hasConcept C2780069185 @default.
- W34093435 hasConcept C33923547 @default.
- W34093435 hasConcept C41008148 @default.
- W34093435 hasConcept C41895202 @default.
- W34093435 hasConceptScore W34093435C108710211 @default.
- W34093435 hasConceptScore W34093435C138885662 @default.
- W34093435 hasConceptScore W34093435C156325763 @default.
- W34093435 hasConceptScore W34093435C184337299 @default.
- W34093435 hasConceptScore W34093435C199360897 @default.
- W34093435 hasConceptScore W34093435C203265346 @default.
- W34093435 hasConceptScore W34093435C2524010 @default.
- W34093435 hasConceptScore W34093435C2780069185 @default.
- W34093435 hasConceptScore W34093435C33923547 @default.
- W34093435 hasConceptScore W34093435C41008148 @default.
- W34093435 hasConceptScore W34093435C41895202 @default.
- W34093435 hasLocation W340934351 @default.
- W34093435 hasLocation W340934352 @default.
- W34093435 hasLocation W340934353 @default.
- W34093435 hasLocation W340934354 @default.
- W34093435 hasOpenAccess W34093435 @default.
- W34093435 hasPrimaryLocation W340934351 @default.
- W34093435 hasRelatedWork W1482532369 @default.
- W34093435 hasRelatedWork W1587224678 @default.
- W34093435 hasRelatedWork W2067026386 @default.
- W34093435 hasRelatedWork W2097810778 @default.
- W34093435 hasRelatedWork W2106305471 @default.
- W34093435 hasRelatedWork W2152804907 @default.
- W34093435 hasRelatedWork W2915995131 @default.
- W34093435 hasRelatedWork W3021003119 @default.
- W34093435 hasRelatedWork W4205743188 @default.
- W34093435 hasRelatedWork W2788308474 @default.
- W34093435 isParatext "false" @default.
- W34093435 isRetracted "false" @default.
- W34093435 magId "34093435" @default.
- W34093435 workType "book-chapter" @default.