Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122891736> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2122891736 endingPage "1650" @default.
- W2122891736 startingPage "1618" @default.
- W2122891736 abstract "We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce membership equational logic as a formal language particularly ad- equate for specifying and verifying semantic data structures, such as ordered lists, binary search trees, priority queues, and powerlists. The ITP tool is a Maude program that makes extensive use of the reflective capabilities of this system. In fact, rewriting- based proof simplification steps are directly executed by the powerful underlying Maude rewriting engine. The ITP tool is currently available as a web-based application that includes a module editor, a formula editor, and a command editor. These editors allow users to create and modify their specifications, to formalize properties about them, and to guide their proofs by filling and submitting web forms." @default.
- W2122891736 created "2016-06-24" @default.
- W2122891736 creator A5048720165 @default.
- W2122891736 creator A5067165290 @default.
- W2122891736 creator A5076184186 @default.
- W2122891736 date "2006-01-01" @default.
- W2122891736 modified "2023-10-01" @default.
- W2122891736 title "Introducing the ITP Tool: a Tutorial" @default.
- W2122891736 cites W1597068544 @default.
- W2122891736 cites W1678943029 @default.
- W2122891736 cites W1991598919 @default.
- W2122891736 cites W2006104711 @default.
- W2122891736 cites W2048280348 @default.
- W2122891736 cites W2105505307 @default.
- W2122891736 cites W2111172916 @default.
- W2122891736 cites W90583330 @default.
- W2122891736 hasPublicationYear "2006" @default.
- W2122891736 type Work @default.
- W2122891736 sameAs 2122891736 @default.
- W2122891736 citedByCount "17" @default.
- W2122891736 countsByYear W21228917362012 @default.
- W2122891736 countsByYear W21228917362014 @default.
- W2122891736 countsByYear W21228917362017 @default.
- W2122891736 countsByYear W21228917362018 @default.
- W2122891736 crossrefType "journal-article" @default.
- W2122891736 hasAuthorship W2122891736A5048720165 @default.
- W2122891736 hasAuthorship W2122891736A5067165290 @default.
- W2122891736 hasAuthorship W2122891736A5076184186 @default.
- W2122891736 hasConcept C108710211 @default.
- W2122891736 hasConcept C154690210 @default.
- W2122891736 hasConcept C159718280 @default.
- W2122891736 hasConcept C199360897 @default.
- W2122891736 hasConcept C206880738 @default.
- W2122891736 hasConcept C2524010 @default.
- W2122891736 hasConcept C33923547 @default.
- W2122891736 hasConcept C41008148 @default.
- W2122891736 hasConcept C80444323 @default.
- W2122891736 hasConceptScore W2122891736C108710211 @default.
- W2122891736 hasConceptScore W2122891736C154690210 @default.
- W2122891736 hasConceptScore W2122891736C159718280 @default.
- W2122891736 hasConceptScore W2122891736C199360897 @default.
- W2122891736 hasConceptScore W2122891736C206880738 @default.
- W2122891736 hasConceptScore W2122891736C2524010 @default.
- W2122891736 hasConceptScore W2122891736C33923547 @default.
- W2122891736 hasConceptScore W2122891736C41008148 @default.
- W2122891736 hasConceptScore W2122891736C80444323 @default.
- W2122891736 hasLocation W21228917361 @default.
- W2122891736 hasOpenAccess W2122891736 @default.
- W2122891736 hasPrimaryLocation W21228917361 @default.
- W2122891736 hasRelatedWork W1504007491 @default.
- W2122891736 hasRelatedWork W1568059522 @default.
- W2122891736 hasRelatedWork W1572529976 @default.
- W2122891736 hasRelatedWork W1580298010 @default.
- W2122891736 hasRelatedWork W1583295953 @default.
- W2122891736 hasRelatedWork W1668251188 @default.
- W2122891736 hasRelatedWork W1678943029 @default.
- W2122891736 hasRelatedWork W1976195354 @default.
- W2122891736 hasRelatedWork W1979359160 @default.
- W2122891736 hasRelatedWork W1988964526 @default.
- W2122891736 hasRelatedWork W1991598919 @default.
- W2122891736 hasRelatedWork W2010883554 @default.
- W2122891736 hasRelatedWork W2029227380 @default.
- W2122891736 hasRelatedWork W2047406870 @default.
- W2122891736 hasRelatedWork W2081115499 @default.
- W2122891736 hasRelatedWork W2120926795 @default.
- W2122891736 hasRelatedWork W2134287022 @default.
- W2122891736 hasRelatedWork W2147892488 @default.
- W2122891736 hasRelatedWork W2160914327 @default.
- W2122891736 hasRelatedWork W55294761 @default.
- W2122891736 hasVolume "12" @default.
- W2122891736 isParatext "false" @default.
- W2122891736 isRetracted "false" @default.
- W2122891736 magId "2122891736" @default.
- W2122891736 workType "article" @default.