FRINK Linked Data Fragments server

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

• W1781116424 abstract "This paper aims at developing a verification method for procedural programs via a transformation into the recently introduced Logically Constrained Term Rewriting Systems (LCTRSs). To this end, we introduce an extension of transformation methods based on integer TRSs, which can also handle global variables and arrays, and encode safety checks. Then we adapt existing rewriting induction methods to LCTRSs and propose a simple yet effective method to generalize equations. We show that we can automatically verify memory safety and prove correctness of realistic functions, involving for instance integers and arrays." @default.
• W1781116424 created "2016-06-24" @default.
• W1781116424 creator A5001880661 @default.
• W1781116424 creator A5087763144 @default.
• W1781116424 date "2014-08-30" @default.
• W1781116424 modified "2023-09-27" @default.
• W1781116424 title "Towards Verifying Procedural Programs using Constrained Rewriting Induction." @default.
• W1781116424 cites W1489542124 @default.
• W1781116424 cites W1501806296 @default.
• W1781116424 cites W1505286461 @default.
• W1781116424 cites W1545038039 @default.
• W1781116424 cites W1556936708 @default.
• W1781116424 cites W1563061915 @default.
• W1781116424 cites W1583295953 @default.
• W1781116424 cites W1587451605 @default.
• W1781116424 cites W1679534293 @default.
• W1781116424 cites W1803381130 @default.
• W1781116424 cites W188927585 @default.
• W1781116424 cites W1986317984 @default.
• W1781116424 cites W1992696924 @default.
• W1781116424 cites W1996064523 @default.
• W1781116424 cites W2021173362 @default.
• W1781116424 cites W2022846948 @default.
• W1781116424 cites W2031766132 @default.
• W1781116424 cites W2039222548 @default.
• W1781116424 cites W2040856861 @default.
• W1781116424 cites W2045255985 @default.
• W1781116424 cites W2076667206 @default.
• W1781116424 cites W2077789910 @default.
• W1781116424 cites W2081019971 @default.
• W1781116424 cites W2087028873 @default.
• W1781116424 cites W2089817457 @default.
• W1781116424 cites W2119454075 @default.
• W1781116424 cites W2124765047 @default.
• W1781116424 cites W2134087751 @default.
• W1781116424 cites W2139799388 @default.
• W1781116424 cites W2153007413 @default.
• W1781116424 cites W2154887561 @default.
• W1781116424 cites W2156828397 @default.
• W1781116424 cites W2158949286 @default.
• W1781116424 cites W2170487018 @default.
• W1781116424 cites W2171347031 @default.
• W1781116424 cites W2258703518 @default.
• W1781116424 cites W26731332 @default.
• W1781116424 cites W26752331 @default.
• W1781116424 cites W2911450990 @default.
• W1781116424 cites W2914596767 @default.
• W1781116424 cites W2951254455 @default.
• W1781116424 cites W5060831 @default.
• W1781116424 cites W8727156 @default.
• W1781116424 hasPublicationYear "2014" @default.
• W1781116424 type Work @default.
• W1781116424 sameAs 1781116424 @default.
• W1781116424 citedByCount "0" @default.
• W1781116424 crossrefType "posted-content" @default.
• W1781116424 hasAuthorship W1781116424A5001880661 @default.
• W1781116424 hasAuthorship W1781116424A5087763144 @default.
• W1781116424 hasConcept C104317684 @default.
• W1781116424 hasConcept C111472728 @default.
• W1781116424 hasConcept C121332964 @default.
• W1781116424 hasConcept C138885662 @default.
• W1781116424 hasConcept C154690210 @default.
• W1781116424 hasConcept C185592680 @default.
• W1781116424 hasConcept C199360897 @default.
• W1781116424 hasConcept C204241405 @default.
• W1781116424 hasConcept C2778029271 @default.
• W1781116424 hasConcept C2778361913 @default.
• W1781116424 hasConcept C2780586882 @default.
• W1781116424 hasConcept C41008148 @default.
• W1781116424 hasConcept C55439883 @default.
• W1781116424 hasConcept C55493867 @default.
• W1781116424 hasConcept C61797465 @default.
• W1781116424 hasConcept C62520636 @default.
• W1781116424 hasConcept C66746571 @default.
• W1781116424 hasConcept C80444323 @default.
• W1781116424 hasConcept C97137487 @default.
• W1781116424 hasConceptScore W1781116424C104317684 @default.
• W1781116424 hasConceptScore W1781116424C111472728 @default.
• W1781116424 hasConceptScore W1781116424C121332964 @default.
• W1781116424 hasConceptScore W1781116424C138885662 @default.
• W1781116424 hasConceptScore W1781116424C154690210 @default.
• W1781116424 hasConceptScore W1781116424C185592680 @default.
• W1781116424 hasConceptScore W1781116424C199360897 @default.
• W1781116424 hasConceptScore W1781116424C204241405 @default.
• W1781116424 hasConceptScore W1781116424C2778029271 @default.
• W1781116424 hasConceptScore W1781116424C2778361913 @default.
• W1781116424 hasConceptScore W1781116424C2780586882 @default.
• W1781116424 hasConceptScore W1781116424C41008148 @default.
• W1781116424 hasConceptScore W1781116424C55439883 @default.
• W1781116424 hasConceptScore W1781116424C55493867 @default.
• W1781116424 hasConceptScore W1781116424C61797465 @default.
• W1781116424 hasConceptScore W1781116424C62520636 @default.
• W1781116424 hasConceptScore W1781116424C66746571 @default.
• W1781116424 hasConceptScore W1781116424C80444323 @default.
• W1781116424 hasConceptScore W1781116424C97137487 @default.
• W1781116424 hasLocation W17811164241 @default.
• W1781116424 hasOpenAccess W1781116424 @default.
• W1781116424 hasPrimaryLocation W17811164241 @default.
• W1781116424 hasRelatedWork W1033764083 @default.
• W1781116424 hasRelatedWork W114719569 @default.

• next