Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541732450> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1541732450 endingPage "290" @default.
- W1541732450 startingPage "276" @default.
- W1541732450 abstract "Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can be used to prove the congruence of two processes.A coinductive proof requires a relation to be chosen which can be proved to be a bisimulation. We use proof planning to develop a heuristic method which automatically constructs a candidate relation. If this relation does not allow the proof to go through a proof critic analyses the reasons why it failed and modifies the relation accordingly.Several proof tools have been developed to aid coinductive proofs but all require user interaction. Crucially they require the user to supply an appropriate relation which the system can then prove to be a bisimulation." @default.
- W1541732450 created "2016-06-24" @default.
- W1541732450 creator A5040311876 @default.
- W1541732450 creator A5040721287 @default.
- W1541732450 creator A5071849648 @default.
- W1541732450 date "1997-01-01" @default.
- W1541732450 modified "2023-09-27" @default.
- W1541732450 title "Using a generalisation critic to find bisimulations for coinductive proofs" @default.
- W1541732450 cites W1510729774 @default.
- W1541732450 cites W1586365634 @default.
- W1541732450 cites W1590963539 @default.
- W1541732450 cites W1765915613 @default.
- W1541732450 cites W2046213250 @default.
- W1541732450 cites W2067540169 @default.
- W1541732450 cites W2071095465 @default.
- W1541732450 cites W2914596767 @default.
- W1541732450 doi "https://doi.org/10.1007/3-540-63104-6_29" @default.
- W1541732450 hasPublicationYear "1997" @default.
- W1541732450 type Work @default.
- W1541732450 sameAs 1541732450 @default.
- W1541732450 citedByCount "12" @default.
- W1541732450 countsByYear W15417324502015 @default.
- W1541732450 crossrefType "book-chapter" @default.
- W1541732450 hasAuthorship W1541732450A5040311876 @default.
- W1541732450 hasAuthorship W1541732450A5040721287 @default.
- W1541732450 hasAuthorship W1541732450A5071849648 @default.
- W1541732450 hasBestOaLocation W15417324502 @default.
- W1541732450 hasConcept C108710211 @default.
- W1541732450 hasConcept C11413529 @default.
- W1541732450 hasConcept C132074034 @default.
- W1541732450 hasConcept C135315306 @default.
- W1541732450 hasConcept C136119220 @default.
- W1541732450 hasConcept C199343813 @default.
- W1541732450 hasConcept C199360897 @default.
- W1541732450 hasConcept C202444582 @default.
- W1541732450 hasConcept C203265346 @default.
- W1541732450 hasConcept C2524010 @default.
- W1541732450 hasConcept C25343380 @default.
- W1541732450 hasConcept C2777686260 @default.
- W1541732450 hasConcept C33923547 @default.
- W1541732450 hasConcept C40220748 @default.
- W1541732450 hasConcept C41008148 @default.
- W1541732450 hasConcept C71924100 @default.
- W1541732450 hasConcept C77088390 @default.
- W1541732450 hasConcept C80444323 @default.
- W1541732450 hasConceptScore W1541732450C108710211 @default.
- W1541732450 hasConceptScore W1541732450C11413529 @default.
- W1541732450 hasConceptScore W1541732450C132074034 @default.
- W1541732450 hasConceptScore W1541732450C135315306 @default.
- W1541732450 hasConceptScore W1541732450C136119220 @default.
- W1541732450 hasConceptScore W1541732450C199343813 @default.
- W1541732450 hasConceptScore W1541732450C199360897 @default.
- W1541732450 hasConceptScore W1541732450C202444582 @default.
- W1541732450 hasConceptScore W1541732450C203265346 @default.
- W1541732450 hasConceptScore W1541732450C2524010 @default.
- W1541732450 hasConceptScore W1541732450C25343380 @default.
- W1541732450 hasConceptScore W1541732450C2777686260 @default.
- W1541732450 hasConceptScore W1541732450C33923547 @default.
- W1541732450 hasConceptScore W1541732450C40220748 @default.
- W1541732450 hasConceptScore W1541732450C41008148 @default.
- W1541732450 hasConceptScore W1541732450C71924100 @default.
- W1541732450 hasConceptScore W1541732450C77088390 @default.
- W1541732450 hasConceptScore W1541732450C80444323 @default.
- W1541732450 hasLocation W15417324501 @default.
- W1541732450 hasLocation W15417324502 @default.
- W1541732450 hasOpenAccess W1541732450 @default.
- W1541732450 hasPrimaryLocation W15417324501 @default.
- W1541732450 hasRelatedWork W1489787855 @default.
- W1541732450 hasRelatedWork W1499647456 @default.
- W1541732450 hasRelatedWork W1541732450 @default.
- W1541732450 hasRelatedWork W2127323771 @default.
- W1541732450 hasRelatedWork W2949299018 @default.
- W1541732450 hasRelatedWork W2995075587 @default.
- W1541732450 hasRelatedWork W3101797533 @default.
- W1541732450 hasRelatedWork W3135716636 @default.
- W1541732450 hasRelatedWork W74233552 @default.
- W1541732450 hasRelatedWork W2518082944 @default.
- W1541732450 isParatext "false" @default.
- W1541732450 isRetracted "false" @default.
- W1541732450 magId "1541732450" @default.
- W1541732450 workType "book-chapter" @default.