Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111403313> ?p ?o ?g. }
- W2111403313 endingPage "9" @default.
- W2111403313 startingPage "3" @default.
- W2111403313 abstract "An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languages on the other. However, not all such logics are equally well suited for the task. This paper gives some requirements that seem important for a computational logic to be suitable in practice, and discusses the experience with rewriting logic, its Maude language implementation, and its formal tool environment, concluding that they seem to meet well those requirements." @default.
- W2111403313 created "2016-06-24" @default.
- W2111403313 creator A5007839082 @default.
- W2111403313 date "2003-06-24" @default.
- W2111403313 modified "2023-09-26" @default.
- W2111403313 title "Executable computational logics: combining formal methods and programming language based system design" @default.
- W2111403313 cites W130102441 @default.
- W2111403313 cites W1498125516 @default.
- W2111403313 cites W1510908891 @default.
- W2111403313 cites W1531694433 @default.
- W2111403313 cites W1538233900 @default.
- W2111403313 cites W1585552984 @default.
- W2111403313 cites W1587138807 @default.
- W2111403313 cites W1597068544 @default.
- W2111403313 cites W1608252846 @default.
- W2111403313 cites W1608891104 @default.
- W2111403313 cites W1678943029 @default.
- W2111403313 cites W1885587396 @default.
- W2111403313 cites W1976195354 @default.
- W2111403313 cites W1995691455 @default.
- W2111403313 cites W2001487918 @default.
- W2111403313 cites W2011886298 @default.
- W2111403313 cites W2021089599 @default.
- W2111403313 cites W2041226400 @default.
- W2111403313 cites W2047406870 @default.
- W2111403313 cites W2051580064 @default.
- W2111403313 cites W2062950667 @default.
- W2111403313 cites W2091567516 @default.
- W2111403313 cites W2104717300 @default.
- W2111403313 cites W2124446794 @default.
- W2111403313 cites W2130415189 @default.
- W2111403313 cites W2134287022 @default.
- W2111403313 cites W2135320702 @default.
- W2111403313 cites W2136992253 @default.
- W2111403313 cites W2140094053 @default.
- W2111403313 cites W2147892488 @default.
- W2111403313 cites W2150509460 @default.
- W2111403313 cites W2340735175 @default.
- W2111403313 cites W271934759 @default.
- W2111403313 cites W2912818154 @default.
- W2111403313 cites W2913459036 @default.
- W2111403313 cites W3022794709 @default.
- W2111403313 cites W3023191323 @default.
- W2111403313 cites W55294761 @default.
- W2111403313 cites W94313399 @default.
- W2111403313 cites W1601373402 @default.
- W2111403313 cites W2479141207 @default.
- W2111403313 cites W2721471627 @default.
- W2111403313 doi "https://doi.org/10.5555/823453.823859" @default.
- W2111403313 hasPublicationYear "2003" @default.
- W2111403313 type Work @default.
- W2111403313 sameAs 2111403313 @default.
- W2111403313 citedByCount "2" @default.
- W2111403313 crossrefType "proceedings-article" @default.
- W2111403313 hasAuthorship W2111403313A5007839082 @default.
- W2111403313 hasConcept C111498074 @default.
- W2111403313 hasConcept C115903868 @default.
- W2111403313 hasConcept C116253237 @default.
- W2111403313 hasConcept C128838566 @default.
- W2111403313 hasConcept C14331664 @default.
- W2111403313 hasConcept C146072743 @default.
- W2111403313 hasConcept C154690210 @default.
- W2111403313 hasConcept C160145156 @default.
- W2111403313 hasConcept C199360897 @default.
- W2111403313 hasConcept C41008148 @default.
- W2111403313 hasConcept C75606506 @default.
- W2111403313 hasConceptScore W2111403313C111498074 @default.
- W2111403313 hasConceptScore W2111403313C115903868 @default.
- W2111403313 hasConceptScore W2111403313C116253237 @default.
- W2111403313 hasConceptScore W2111403313C128838566 @default.
- W2111403313 hasConceptScore W2111403313C14331664 @default.
- W2111403313 hasConceptScore W2111403313C146072743 @default.
- W2111403313 hasConceptScore W2111403313C154690210 @default.
- W2111403313 hasConceptScore W2111403313C160145156 @default.
- W2111403313 hasConceptScore W2111403313C199360897 @default.
- W2111403313 hasConceptScore W2111403313C41008148 @default.
- W2111403313 hasConceptScore W2111403313C75606506 @default.
- W2111403313 hasLocation W21114033131 @default.
- W2111403313 hasOpenAccess W2111403313 @default.
- W2111403313 hasPrimaryLocation W21114033131 @default.
- W2111403313 hasRelatedWork W1499084894 @default.
- W2111403313 hasRelatedWork W1579358114 @default.
- W2111403313 hasRelatedWork W1586556581 @default.
- W2111403313 hasRelatedWork W1830530871 @default.
- W2111403313 hasRelatedWork W1903118409 @default.
- W2111403313 hasRelatedWork W1977253163 @default.
- W2111403313 hasRelatedWork W1991962337 @default.
- W2111403313 hasRelatedWork W2053494132 @default.
- W2111403313 hasRelatedWork W2086357502 @default.
- W2111403313 hasRelatedWork W2099582504 @default.
- W2111403313 hasRelatedWork W2107676802 @default.
- W2111403313 hasRelatedWork W2111138093 @default.
- W2111403313 hasRelatedWork W2120674310 @default.
- W2111403313 hasRelatedWork W2132813217 @default.
- W2111403313 hasRelatedWork W2142762894 @default.
- W2111403313 hasRelatedWork W2151212730 @default.
- W2111403313 hasRelatedWork W2152225193 @default.
- W2111403313 hasRelatedWork W319349425 @default.