Kohei Honda  @ NUS Home/Search
Context Related
| dcs.qmw.ac.uk/~kohei/...soundness.ps.gz Cached: PS.gz PS PDF Image Update Help From: dcs.qmw.ac.uk/~kohei/logi...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We prove soundness results of the proof systems for basic speci cation logics for sequentially typed -calculi, o ering a basis for their applications. The proofs for di erent logics enjoy modularity in correspondence with that of their proof sustems. 1 (Update)
Cited by: More
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
From Process Logic to Program Logic - Honda (2004) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
Active bibliography (related documents): More All
1.2: Sequential Process Logics: Notes on Origins - Kohei Honda Queen (Correct)
0.5: Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
0.2: An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
Similar documents based on text: More All
0.2: Issues in Software Safety (for Dependable Computing) - Honda (2004) (Correct)
0.1: The Two-Phase Commitment Protocol in an Extended π-Calculus - Berger, Honda (2000) (Correct)
0.1: A Uniform Type Structure for Secure Information Flow - Honda, Yoshida (2002) (Correct)
Related documents from co-citation: More All
6: A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
6: Process Logic and Duality: Part (context) - Honda - 2004
6: An axiomatic basis for computer programming (context) - Hoare - 1969
BibTeX entry: (Update)
Honda, K., Sequential Process Logics: Soundness Proofs. Typescript, 50pp. November 2003. http://citeseer.comp.nus.edu.sg/693044.html More
@misc{ honda03sequential,
author = "K. Honda",
title = "Sequential Process Logics: Soundness Proofs",
text = "Honda, K., Sequential Process Logics: Soundness Proofs. Typescript, 50pp.
November 2003.",
year = "2003",
url = "citeseer.comp.nus.edu.sg/693044.html" }
Citations (may not include all citations):650 An axiomatic basis of computer programming (context) - Hoare - 1969
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
194 Functions as Processes (context) - Milner - 1992
144 Full Abstraction for PCF - Abramsky, Jagadeesan et al. - 2000
68 On Full Abstraction for PCF (context) - Hyland, Ong - 2000
48 Hereditarily Sequential Functionals - Nickau - 1994
14 Sequentiality and the -Calculus (context) - Berger, Honda et al. - 2001
7 Polarized games (context) - Laurent - 2002
4 Ten Years of Hoare Logic: a survey (context) - Apt - 1981
2 The type and e ect discpline (context) - Talpin - 1992
2 IFIP 9th World Computer Concgress (context) - Jones - 1983
1 Remarks on \Program proving: jumps and functions by M (context) - Ashcroft, Clint et al. - 1976
1 Process Logic and Duality (context) - Honda
1 Sequential Process Logics: A Brief Overview (context) - Honda - 2003
Documents on the same site (http://www.dcs.qmw.ac.uk/~kohei/logics/index.html): More
Processes and Games - Honda (2003) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
Sequential Process Logics: Notes on Origins - Kohei Honda Queen (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.