Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joakim von Wright
@article{DBLP:journals/scp/SolinW09,
author = {Kim Solin and
Joakim von Wright},
title = {Enabledness and termination in refinement algebra},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {654--668},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.11.004},
doi = {10.1016/J.SCICO.2007.11.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SolinW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SolinW06,
author = {Kim Solin and
Joakim von Wright},
editor = {Tarmo Uustalu},
title = {Refinement Algebra with Operators for Enabledness and Termination},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {397--415},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_23},
doi = {10.1007/11783596\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SolinW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Wright04,
author = {Joakim von Wright},
title = {Towards a refinement algebra},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {23--45},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2003.09.002},
doi = {10.1016/J.SCICO.2003.09.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Wright04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackW03,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Compositional Action System Refinement},
journal = {Formal Aspects Comput.},
volume = {15},
number = {2-3},
pages = {103--117},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0005-6},
doi = {10.1007/S00165-003-0005-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/CelikuW03,
author = {Orieta Celiku and
Joakim von Wright},
title = {Implementing Angelic Nondeterminism},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254370},
doi = {10.1109/APSEC.2003.1254370},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/CelikuW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CelikuW02,
author = {Orieta Celiku and
Joakim von Wright},
editor = {Chris George and
Huaikou Miao},
title = {Theorem Prover Support for Precondition and Correctness Calculation},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {299--310},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_32},
doi = {10.1007/3-540-36103-0\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CelikuW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Wright02,
author = {Joakim von Wright},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {From Kleene Algebra to Refinement Algebra},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {233--262},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_14},
doi = {10.1007/3-540-45442-X\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Wright02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickBWW02,
author = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Preface},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80478-5},
doi = {10.1016/S1571-0661(05)80478-5},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DerrickBWW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BackW02,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Compositional Action System Refinement},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {3},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80479-7},
doi = {10.1016/S1571-0661(05)80479-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BackW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2002,
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackMW00,
author = {Ralph{-}Johan Back and
Anna Mikhajlova and
Joakim von Wright},
title = {Class Refinement as Semantics of Correct Object Substitutability},
journal = {Formal Aspects Comput.},
volume = {12},
number = {1},
pages = {18--40},
year = {2000},
url = {https://doi.org/10.1007/s001650070034},
doi = {10.1007/S001650070034},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackW00,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Encoding, Decoding and Data Refinement},
journal = {Formal Aspects Comput.},
volume = {12},
number = {5},
pages = {313--349},
year = {2000},
url = {https://doi.org/10.1007/s001650070008},
doi = {10.1007/S001650070008},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BackW00,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Contracts, Games, and Refinement},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {25--45},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2820},
doi = {10.1006/INCO.1999.2820},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BackW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Wright00,
author = {Joakim von Wright},
editor = {Jorma Tarhio and
Sally Fincher and
Daniel Joyce},
title = {Distance tutorials in a systems design course},
booktitle = {Proceedings of the 5th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland,
June 11-13, 2000},
pages = {105--107},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343048.343123},
doi = {10.1145/343048.343123},
timestamp = {Mon, 30 May 2022 15:19:22 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Wright00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LaibinisW00,
author = {Linas Laibinis and
Joakim von Wright},
editor = {Mark D. Aagaard and
John Harrison},
title = {Functional Procedures in Higher-Order Logic},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {372--387},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_23},
doi = {10.1007/3-540-44659-1\_23},
timestamp = {Tue, 15 Aug 2023 09:02:05 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LaibinisW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BackW99,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Reasoning Algebraically about Loops},
journal = {Acta Informatica},
volume = {36},
number = {4},
pages = {295--334},
year = {1999},
url = {https://doi.org/10.1007/s002360050163},
doi = {10.1007/S002360050163},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BackW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BackMW99,
author = {Ralph{-}Johan Back and
Anna Mikhajlova and
Joakim von Wright},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Reasoning About Interactive Systems},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1460--1476},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_27},
doi = {10.1007/3-540-48118-4\_27},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BackMW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0096285,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Refinement Calculus - {A} Systematic Introduction},
series = {Graduate Texts in Computer Science},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4612-1674-2},
doi = {10.1007/978-1-4612-1674-2},
isbn = {978-0-387-98417-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0096285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wright98,
author = {Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Extending Window Inference},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {17--32},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055127},
doi = {10.1007/BFB0055127},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wright98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MikhajlovaW98,
author = {Anna Mikhajlova and
Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Proving Isomorphism of First-Order Logic Proof Systems in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {295--314},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055143},
doi = {10.1007/BFB0055143},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MikhajlovaW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/RuksenasW98,
author = {Rimvydas Ruksenas and
Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {A Tool for Data Refinement},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {423--441},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055150},
doi = {10.1007/BFB0055150},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/RuksenasW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackGW97,
author = {Ralph{-}Johan Back and
Jim Grundy and
Joakim von Wright},
title = {Structured Calculational Proof},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {469--483},
year = {1997},
url = {https://doi.org/10.1007/BF01211456},
doi = {10.1007/BF01211456},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackGW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LangbackaW97,
author = {Thomas L{\aa}ngbacka and
Joakim von Wright},
editor = {Elsa L. Gunter and
Amy P. Felty},
title = {Refining Reactive Systems in {HOL} Using Action Systems},
booktitle = {Theorem Proving in Higher Order Logics, 10th International Conference,
TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1275},
pages = {183--197},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028394},
doi = {10.1007/BFB0028394},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LangbackaW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BackW97,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Contracts, games and refinement},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {20--33},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80464-5},
doi = {10.1016/S1571-0661(05)80464-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BackW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1996,
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105392},
doi = {10.1007/BFB0105392},
isbn = {3-540-61587-3},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Wright95,
author = {Joakim von Wright},
title = {Representing Higher-Order Logic Proofs in {HOL}},
journal = {Comput. J.},
volume = {38},
number = {2},
pages = {171--179},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.2.171},
doi = {10.1093/COMJNL/38.2.171},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Wright95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BackW95,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Games and Winning Strategies},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {165--172},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00206-E},
doi = {10.1016/0020-0190(94)00206-E},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BackW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LangbackaRW95,
author = {Thomas L{\aa}ngbacka and
Rimvydas Ruksenas and
Joakim von Wright},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {TkWinHOL: {A} Tool for Window Inference in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {245--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_69},
doi = {10.1007/3-540-60275-5\_69},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LangbackaRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Wright94,
author = {Joakim von Wright},
title = {The Lattice of Data Refinement},
journal = {Acta Informatica},
volume = {31},
number = {2},
pages = {105--135},
year = {1994},
url = {https://doi.org/10.1007/BF01192157},
doi = {10.1007/BF01192157},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Wright94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BackW94,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Trace Refinement of Action Systems},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {367--384},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_28},
doi = {10.1007/978-3-540-48654-1\_28},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/BackW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Wright94,
author = {Joakim von Wright},
editor = {David Till},
title = {Program Refinement by Theorem Prover},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {121--150},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_7},
doi = {10.1007/978-1-4471-3240-0\_7},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/Wright94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wright94,
author = {Joakim von Wright},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Representing Higher-Order Logic Proofs in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {456--470},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_60},
doi = {10.1007/3-540-58450-1\_60},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wright94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WrightHLL93,
author = {Joakim von Wright and
Jukka Hekanaho and
P. Luostarinen and
Thomas L{\aa}ngbacka},
title = {Mechanizing Some Advanced Refinement Concepts},
journal = {Formal Methods Syst. Des.},
volume = {3},
number = {1/2},
pages = {49--81},
year = {1993},
url = {https://doi.org/10.1007/BF01383984},
doi = {10.1007/BF01383984},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WrightHLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackW93,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Statement Inversion and Strongest Postcondition},
journal = {Sci. Comput. Program.},
volume = {20},
number = {3},
pages = {223--251},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90015-H},
doi = {10.1016/0167-6423(93)90015-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BackW92,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Combining Angles, Demons and Miracles in Program Specifications},
journal = {Theor. Comput. Sci.},
volume = {100},
number = {2},
pages = {365--383},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90309-4},
doi = {10.1016/0304-3975(92)90309-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BackW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WrightL92,
author = {Joakim von Wright and
Thomas L{\aa}ngbacka},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Using a Theorem Prover for Reasoning about Concurrent Algorithms},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {56--68},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_6},
doi = {10.1007/3-540-56496-9\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/WrightL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BackW92,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Predicate Transformers and Higher Order Logic},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {1--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_26},
doi = {10.1007/3-540-56596-5\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/BackW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/WrightHLL92,
author = {Joakim von Wright and
Jukka Hekanaho and
P. Luostarinen and
Thomas L{\aa}ngbacka},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {Mechanising some Advanced Refinement Concepts},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {307--326},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Thu, 03 Jan 2002 12:10:28 +0100},
biburl = {https://dblp.org/rec/conf/tphol/WrightHLL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Wright91,
author = {Joakim von Wright},
title = {Program Inversion in the Refinement Calculus},
journal = {Inf. Process. Lett.},
volume = {37},
number = {2},
pages = {95--100},
year = {1991},
url = {https://doi.org/10.1016/0020-0190(91)90141-4},
doi = {10.1016/0020-0190(91)90141-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Wright91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wright91,
author = {Joakim von Wright},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Mechanising the Temporal Logic of Actions in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {155--159},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Wed, 17 Apr 2002 08:13:51 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wright91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/WrightS91,
author = {Joakim von Wright and
Kaisa Sere},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Program Transformations and Refinements in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {231--239},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/WrightS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BackW89,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Duality in Specification Languages: {A} Lattice-Theoretical Approach},
journal = {Acta Informatica},
volume = {27},
number = {7},
pages = {583--625},
year = {1990},
url = {https://doi.org/10.1007/BF00259469},
doi = {10.1007/BF00259469},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BackW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackW90,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Refinement Concepts Formalised in Higher Order Logic},
journal = {Formal Aspects Comput.},
volume = {2},
number = {3},
pages = {247--272},
year = {1990},
url = {https://doi.org/10.1007/BF01888227},
doi = {10.1007/BF01888227},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BackW90,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Refinement Concepts Formalized in Higher Order Logic},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {179--200},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BackW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackW89,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Jan L. A. van de Snepscheut},
title = {A Lattice-theoretical Basis for a Specification Language},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {139--156},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_8},
doi = {10.1007/3-540-51305-1\_8},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BackW89,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Refinement Calculus, Part {I:} Sequential Nondeterministic Programs},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {42--66},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_60},
doi = {10.1007/3-540-52559-9\_60},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/BackW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
