FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970835900> ?p ?o ?g. }

• W2970835900 abstract "We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted system of hybrid modal logic, for which we prove its completeness results. We believe that our approach to program verification improves over the existing approaches within modal logic as (1) it is based on operational semantics which enables a more natural description of the execution than Hoare-style weakest precondition used by dynamic logic; (2) since it is multi-sorted, it allows for a clearer encoding of semantics, with a smaller representational distance to its intended meaning." @default.
• W2970835900 created "2019-09-05" @default.
• W2970835900 creator A5002710918 @default.
• W2970835900 creator A5015125888 @default.
• W2970835900 creator A5057998349 @default.
• W2970835900 date "2019-01-01" @default.
• W2970835900 modified "2023-10-18" @default.
• W2970835900 title "Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic" @default.
• W2970835900 cites W118153159 @default.
• W2970835900 cites W1689987508 @default.
• W2970835900 cites W1759871617 @default.
• W2970835900 cites W1981936535 @default.
• W2970835900 cites W1983240156 @default.
• W2970835900 cites W1987693120 @default.
• W2970835900 cites W1998532035 @default.
• W2970835900 cites W2013399578 @default.
• W2970835900 cites W2047294512 @default.
• W2970835900 cites W2059354551 @default.
• W2970835900 cites W2103774282 @default.
• W2970835900 cites W2798427558 @default.
• W2970835900 cites W2885880873 @default.
• W2970835900 cites W2965560832 @default.
• W2970835900 cites W2987907651 @default.
• W2970835900 cites W4239007999 @default.
• W2970835900 cites W4247128344 @default.
• W2970835900 cites W4248244173 @default.
• W2970835900 cites W4251912342 @default.
• W2970835900 cites W4256000740 @default.
• W2970835900 doi "https://doi.org/10.1007/978-3-030-29026-9_25" @default.
• W2970835900 hasPublicationYear "2019" @default.
• W2970835900 type Work @default.
• W2970835900 sameAs 2970835900 @default.
• W2970835900 citedByCount "2" @default.
• W2970835900 countsByYear W29708359002020 @default.
• W2970835900 countsByYear W29708359002021 @default.
• W2970835900 crossrefType "book-chapter" @default.
• W2970835900 hasAuthorship W2970835900A5002710918 @default.
• W2970835900 hasAuthorship W2970835900A5015125888 @default.
• W2970835900 hasAuthorship W2970835900A5057998349 @default.
• W2970835900 hasBestOaLocation W29708359002 @default.
• W2970835900 hasConcept C102993220 @default.
• W2970835900 hasConcept C104949639 @default.
• W2970835900 hasConcept C121332964 @default.
• W2970835900 hasConcept C128838566 @default.
• W2970835900 hasConcept C156325763 @default.
• W2970835900 hasConcept C165801399 @default.
• W2970835900 hasConcept C172385210 @default.
• W2970835900 hasConcept C173856430 @default.
• W2970835900 hasConcept C184337299 @default.
• W2970835900 hasConcept C185592680 @default.
• W2970835900 hasConcept C188027245 @default.
• W2970835900 hasConcept C192465680 @default.
• W2970835900 hasConcept C199360897 @default.
• W2970835900 hasConcept C203659156 @default.
• W2970835900 hasConcept C207648694 @default.
• W2970835900 hasConcept C27508121 @default.
• W2970835900 hasConcept C2777796570 @default.
• W2970835900 hasConcept C30128091 @default.
• W2970835900 hasConcept C41008148 @default.
• W2970835900 hasConcept C55439883 @default.
• W2970835900 hasConcept C58041814 @default.
• W2970835900 hasConcept C62520636 @default.
• W2970835900 hasConcept C71139939 @default.
• W2970835900 hasConcept C80444323 @default.
• W2970835900 hasConcept C89497691 @default.
• W2970835900 hasConceptScore W2970835900C102993220 @default.
• W2970835900 hasConceptScore W2970835900C104949639 @default.
• W2970835900 hasConceptScore W2970835900C121332964 @default.
• W2970835900 hasConceptScore W2970835900C128838566 @default.
• W2970835900 hasConceptScore W2970835900C156325763 @default.
• W2970835900 hasConceptScore W2970835900C165801399 @default.
• W2970835900 hasConceptScore W2970835900C172385210 @default.
• W2970835900 hasConceptScore W2970835900C173856430 @default.
• W2970835900 hasConceptScore W2970835900C184337299 @default.
• W2970835900 hasConceptScore W2970835900C185592680 @default.
• W2970835900 hasConceptScore W2970835900C188027245 @default.
• W2970835900 hasConceptScore W2970835900C192465680 @default.
• W2970835900 hasConceptScore W2970835900C199360897 @default.
• W2970835900 hasConceptScore W2970835900C203659156 @default.
• W2970835900 hasConceptScore W2970835900C207648694 @default.
• W2970835900 hasConceptScore W2970835900C27508121 @default.
• W2970835900 hasConceptScore W2970835900C2777796570 @default.
• W2970835900 hasConceptScore W2970835900C30128091 @default.
• W2970835900 hasConceptScore W2970835900C41008148 @default.
• W2970835900 hasConceptScore W2970835900C55439883 @default.
• W2970835900 hasConceptScore W2970835900C58041814 @default.
• W2970835900 hasConceptScore W2970835900C62520636 @default.
• W2970835900 hasConceptScore W2970835900C71139939 @default.
• W2970835900 hasConceptScore W2970835900C80444323 @default.
• W2970835900 hasConceptScore W2970835900C89497691 @default.
• W2970835900 hasLocation W29708359001 @default.
• W2970835900 hasLocation W29708359002 @default.
• W2970835900 hasOpenAccess W2970835900 @default.
• W2970835900 hasPrimaryLocation W29708359001 @default.
• W2970835900 hasRelatedWork W1509809797 @default.
• W2970835900 hasRelatedWork W1511377802 @default.
• W2970835900 hasRelatedWork W1562307676 @default.
• W2970835900 hasRelatedWork W1565196265 @default.
• W2970835900 hasRelatedWork W1594807390 @default.
• W2970835900 hasRelatedWork W1607238569 @default.

• next