Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986377639> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1986377639 endingPage "63" @default.
- W1986377639 startingPage "49" @default.
- W1986377639 abstract "We exploit (co)inductive specifications and proofs to approach the evaluation of low-level programs for the Unlimited Register Machine (URM) within the Coq system, a proof assistant based on the Calculus of (Co)Inductive Constructions type theory. Our formalization allows us to certify the implementation of partial functions, thus it can be regarded as a first step towards the development of a workbench for the formal analysis and verification of both converging and diverging computations." @default.
- W1986377639 created "2016-06-24" @default.
- W1986377639 creator A5077893110 @default.
- W1986377639 date "2011-11-11" @default.
- W1986377639 modified "2023-10-16" @default.
- W1986377639 title "A coinductive semantics of the Unlimited Register Machine" @default.
- W1986377639 cites W1480957705 @default.
- W1986377639 cites W1491165055 @default.
- W1986377639 cites W1495567550 @default.
- W1986377639 cites W1532383456 @default.
- W1986377639 cites W1540509734 @default.
- W1986377639 cites W1546477040 @default.
- W1986377639 cites W1553511155 @default.
- W1986377639 cites W1589398330 @default.
- W1986377639 cites W1971428712 @default.
- W1986377639 cites W1980786790 @default.
- W1986377639 cites W1982866418 @default.
- W1986377639 cites W2033339909 @default.
- W1986377639 cites W2069954929 @default.
- W1986377639 cites W2094542439 @default.
- W1986377639 cites W4247585886 @default.
- W1986377639 doi "https://doi.org/10.4204/eptcs.73.7" @default.
- W1986377639 hasPublicationYear "2011" @default.
- W1986377639 type Work @default.
- W1986377639 sameAs 1986377639 @default.
- W1986377639 citedByCount "4" @default.
- W1986377639 countsByYear W19863776392015 @default.
- W1986377639 countsByYear W19863776392016 @default.
- W1986377639 countsByYear W19863776392019 @default.
- W1986377639 crossrefType "journal-article" @default.
- W1986377639 hasAuthorship W1986377639A5077893110 @default.
- W1986377639 hasBestOaLocation W19863776391 @default.
- W1986377639 hasConcept C108710211 @default.
- W1986377639 hasConcept C154945302 @default.
- W1986377639 hasConcept C156325763 @default.
- W1986377639 hasConcept C165696696 @default.
- W1986377639 hasConcept C184337299 @default.
- W1986377639 hasConcept C18903297 @default.
- W1986377639 hasConcept C195701839 @default.
- W1986377639 hasConcept C199360897 @default.
- W1986377639 hasConcept C203265346 @default.
- W1986377639 hasConcept C2524010 @default.
- W1986377639 hasConcept C2777299769 @default.
- W1986377639 hasConcept C2779145975 @default.
- W1986377639 hasConcept C33923547 @default.
- W1986377639 hasConcept C36464697 @default.
- W1986377639 hasConcept C38652104 @default.
- W1986377639 hasConcept C40220748 @default.
- W1986377639 hasConcept C41008148 @default.
- W1986377639 hasConcept C80444323 @default.
- W1986377639 hasConcept C81721847 @default.
- W1986377639 hasConcept C86803240 @default.
- W1986377639 hasConcept C88977235 @default.
- W1986377639 hasConcept C93682546 @default.
- W1986377639 hasConceptScore W1986377639C108710211 @default.
- W1986377639 hasConceptScore W1986377639C154945302 @default.
- W1986377639 hasConceptScore W1986377639C156325763 @default.
- W1986377639 hasConceptScore W1986377639C165696696 @default.
- W1986377639 hasConceptScore W1986377639C184337299 @default.
- W1986377639 hasConceptScore W1986377639C18903297 @default.
- W1986377639 hasConceptScore W1986377639C195701839 @default.
- W1986377639 hasConceptScore W1986377639C199360897 @default.
- W1986377639 hasConceptScore W1986377639C203265346 @default.
- W1986377639 hasConceptScore W1986377639C2524010 @default.
- W1986377639 hasConceptScore W1986377639C2777299769 @default.
- W1986377639 hasConceptScore W1986377639C2779145975 @default.
- W1986377639 hasConceptScore W1986377639C33923547 @default.
- W1986377639 hasConceptScore W1986377639C36464697 @default.
- W1986377639 hasConceptScore W1986377639C38652104 @default.
- W1986377639 hasConceptScore W1986377639C40220748 @default.
- W1986377639 hasConceptScore W1986377639C41008148 @default.
- W1986377639 hasConceptScore W1986377639C80444323 @default.
- W1986377639 hasConceptScore W1986377639C81721847 @default.
- W1986377639 hasConceptScore W1986377639C86803240 @default.
- W1986377639 hasConceptScore W1986377639C88977235 @default.
- W1986377639 hasConceptScore W1986377639C93682546 @default.
- W1986377639 hasLocation W19863776391 @default.
- W1986377639 hasLocation W19863776392 @default.
- W1986377639 hasLocation W19863776393 @default.
- W1986377639 hasOpenAccess W1986377639 @default.
- W1986377639 hasPrimaryLocation W19863776391 @default.
- W1986377639 hasRelatedWork W1552388942 @default.
- W1986377639 hasRelatedWork W1604240374 @default.
- W1986377639 hasRelatedWork W1982866418 @default.
- W1986377639 hasRelatedWork W1986377639 @default.
- W1986377639 hasRelatedWork W2293069733 @default.
- W1986377639 hasRelatedWork W2404743010 @default.
- W1986377639 hasRelatedWork W2951645031 @default.
- W1986377639 hasRelatedWork W2956641661 @default.
- W1986377639 hasRelatedWork W2973978040 @default.
- W1986377639 hasRelatedWork W3005581646 @default.
- W1986377639 hasVolume "73" @default.
- W1986377639 isParatext "false" @default.
- W1986377639 isRetracted "false" @default.
- W1986377639 magId "1986377639" @default.
- W1986377639 workType "article" @default.