1 resultado para PROMINENCE
em Nottingham eTheses
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (2)
- Adam Mickiewicz University Repository (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Aquatic Commons (2)
- Archive of European Integration (7)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (2)
- Aston University Research Archive (15)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (3)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (3)
- Biblioteca Digital da Câmara dos Deputados (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (5)
- Biblioteca Digital de la Universidad Católica Argentina (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (25)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (9)
- Boston University Digital Common (1)
- Brock University, Canada (6)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (3)
- CentAUR: Central Archive University of Reading - UK (21)
- Center for Jewish History Digital Collections (3)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (12)
- Cochin University of Science & Technology (CUSAT), India (5)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (4)
- CORA - Cork Open Research Archive - University College Cork - Ireland (5)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (62)
- Digital Archives@Colby (2)
- Digital Commons - Montana Tech (4)
- Digital Commons @ DU | University of Denver Research (3)
- Digital Commons at Florida International University (6)
- Digital Peer Publishing (3)
- DigitalCommons@The Texas Medical Center (2)
- DRUM (Digital Repository at the University of Maryland) (3)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (3)
- Glasgow Theses Service (3)
- Greenwich Academic Literature Archive - UK (2)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (9)
- Helvia: Repositorio Institucional de la Universidad de Córdoba (1)
- Indian Institute of Science - Bangalore - Índia (20)
- Institute of Public Health in Ireland, Ireland (1)
- Instituto Politécnico de Santarém (1)
- Instituto Politécnico de Viseu (2)
- Instituto Politécnico do Porto, Portugal (3)
- Instituto Superior de Psicologia Aplicada - Lisboa (2)
- Memoria Académica - FaHCE, UNLP - Argentina (13)
- National Center for Biotechnology Information - NCBI (3)
- Nottingham eTheses (1)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (7)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (26)
- Queensland University of Technology - ePrints Archive (67)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (5)
- Repositorio de la Universidad de Cuenca (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (15)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositorio Institucional da UFLA (RIUFLA) (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (4)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (2)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (131)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (1)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (7)
- Universidad Politécnica de Madrid (14)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade de Madeira (1)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (24)
- Universidade Federal do Rio Grande do Norte (UFRN) (33)
- Universidade Metodista de São Paulo (14)
- Universitat de Girona, Spain (1)
- Université de Montréal (1)
- Université de Montréal, Canada (7)
- Université Laval Mémoires et thèses électroniques (1)
- University of Connecticut - USA (1)
- University of Michigan (3)
- University of Queensland eSpace - Australia (9)
- University of Washington (4)
- WestminsterResearch - UK (3)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
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 constucts a candidate relation. If this relation doesn't 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.