Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149506108> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2149506108 abstract "This paper presents an experiment on computer assisted formal verification of program transformations. The operational semantics of WSL is formalized in the type theoretical proof assistant Coq, which forms the basis on which the correctness of program transformations can be stated and proved as formulae in Coq. A group of program transformations frequently used for software maintenance have been proved correct. The existence of a machine checked formal verification increases significantly the confidence in the correctness of program transformations, which is crucial for the reliability of software maintenance systems." @default.
- W2149506108 created "2016-06-24" @default.
- W2149506108 creator A5015523140 @default.
- W2149506108 creator A5019359250 @default.
- W2149506108 creator A5037027582 @default.
- W2149506108 creator A5087548601 @default.
- W2149506108 date "2003-06-26" @default.
- W2149506108 modified "2023-10-03" @default.
- W2149506108 title "Mechanized operational semantics of WSL" @default.
- W2149506108 cites W144074862 @default.
- W2149506108 cites W1505381032 @default.
- W2149506108 cites W1511133369 @default.
- W2149506108 cites W1521083034 @default.
- W2149506108 cites W1538467230 @default.
- W2149506108 cites W1560253649 @default.
- W2149506108 cites W1574366287 @default.
- W2149506108 cites W1586167239 @default.
- W2149506108 cites W1592308421 @default.
- W2149506108 cites W1636146262 @default.
- W2149506108 cites W1705210632 @default.
- W2149506108 cites W2005973420 @default.
- W2149506108 cites W2109918206 @default.
- W2149506108 cites W2289759815 @default.
- W2149506108 cites W2533538450 @default.
- W2149506108 cites W2793825941 @default.
- W2149506108 doi "https://doi.org/10.1109/scam.2002.1134107" @default.
- W2149506108 hasPublicationYear "2003" @default.
- W2149506108 type Work @default.
- W2149506108 sameAs 2149506108 @default.
- W2149506108 citedByCount "3" @default.
- W2149506108 crossrefType "proceedings-article" @default.
- W2149506108 hasAuthorship W2149506108A5015523140 @default.
- W2149506108 hasAuthorship W2149506108A5019359250 @default.
- W2149506108 hasAuthorship W2149506108A5037027582 @default.
- W2149506108 hasAuthorship W2149506108A5087548601 @default.
- W2149506108 hasConcept C108710211 @default.
- W2149506108 hasConcept C111498074 @default.
- W2149506108 hasConcept C115903868 @default.
- W2149506108 hasConcept C156325763 @default.
- W2149506108 hasConcept C184337299 @default.
- W2149506108 hasConcept C199360897 @default.
- W2149506108 hasConcept C203265346 @default.
- W2149506108 hasConcept C2524010 @default.
- W2149506108 hasConcept C2777904410 @default.
- W2149506108 hasConcept C33923547 @default.
- W2149506108 hasConcept C41008148 @default.
- W2149506108 hasConcept C55439883 @default.
- W2149506108 hasConcept C75606506 @default.
- W2149506108 hasConceptScore W2149506108C108710211 @default.
- W2149506108 hasConceptScore W2149506108C111498074 @default.
- W2149506108 hasConceptScore W2149506108C115903868 @default.
- W2149506108 hasConceptScore W2149506108C156325763 @default.
- W2149506108 hasConceptScore W2149506108C184337299 @default.
- W2149506108 hasConceptScore W2149506108C199360897 @default.
- W2149506108 hasConceptScore W2149506108C203265346 @default.
- W2149506108 hasConceptScore W2149506108C2524010 @default.
- W2149506108 hasConceptScore W2149506108C2777904410 @default.
- W2149506108 hasConceptScore W2149506108C33923547 @default.
- W2149506108 hasConceptScore W2149506108C41008148 @default.
- W2149506108 hasConceptScore W2149506108C55439883 @default.
- W2149506108 hasConceptScore W2149506108C75606506 @default.
- W2149506108 hasLocation W21495061081 @default.
- W2149506108 hasOpenAccess W2149506108 @default.
- W2149506108 hasPrimaryLocation W21495061081 @default.
- W2149506108 hasRelatedWork W1485845471 @default.
- W2149506108 hasRelatedWork W1505381032 @default.
- W2149506108 hasRelatedWork W1530275272 @default.
- W2149506108 hasRelatedWork W1552647623 @default.
- W2149506108 hasRelatedWork W1574366287 @default.
- W2149506108 hasRelatedWork W184630599 @default.
- W2149506108 hasRelatedWork W1970119577 @default.
- W2149506108 hasRelatedWork W2050033680 @default.
- W2149506108 hasRelatedWork W2097140251 @default.
- W2149506108 hasRelatedWork W2103953153 @default.
- W2149506108 hasRelatedWork W2109918206 @default.
- W2149506108 hasRelatedWork W2115772852 @default.
- W2149506108 hasRelatedWork W2604312575 @default.
- W2149506108 hasRelatedWork W2775513711 @default.
- W2149506108 hasRelatedWork W2799066791 @default.
- W2149506108 hasRelatedWork W2809679454 @default.
- W2149506108 hasRelatedWork W3009866190 @default.
- W2149506108 hasRelatedWork W3022572449 @default.
- W2149506108 hasRelatedWork W3037420009 @default.
- W2149506108 hasRelatedWork W3180619128 @default.
- W2149506108 isParatext "false" @default.
- W2149506108 isRetracted "false" @default.
- W2149506108 magId "2149506108" @default.
- W2149506108 workType "article" @default.