Kohei Honda  @ NUS Home/Search
Context Related
| doc.ic.ac.uk/~yoshida/paper...icfp04.ps Cached: PS.gz PS PDF Image Update Help From: doc.ic.ac.uk/~yoshida/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a process logic for the p-calculus with the linear/affine type discipline [6, 7, 31, 32, 33, 59, 60]. Built on the preceding studies on logics for programs and processes, simple systems of assertions are developed, capturing the classes of behaviours ranging from purely functional interactions to those with destructive update, local state and genericity. A central feature of the logic is representation of the behaviour of an environment as the dual of that of a process in an... (Update)
Cited by: More
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
Active bibliography (related documents): More All
3.8: Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
1.7: A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
0.9: Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (Correct)
Similar documents based on text: More All
0.3: The Two-Phase Commitment Protocol in an Extended π-Calculus - Berger, Honda (2000) (Correct)
0.3: Electronic Notes in Theoretical Computer Science 39 No. 1 (2000) - Url Http Www (Correct)
0.3: Processes and Games - Honda (2003) (Correct)
Related documents from co-citation: More All
3: Axiomatic Approach to Side Effects and General Jumps (context) - Kowaltowski - 1977
3: Enhancing the pre- and postcondition technique for more expressive specification.. - Leavens, Baker - 1997
3: Semantics of Programming Languages (context) - Gunter - 1992
BibTeX entry: (Update)
Kohei Honda. From process logic to program logic. In Proc. ICFP'04, 2004. A short version of Sections 1--3 and 6 in [19]. http://citeseer.comp.nus.edu.sg/699247.html More
@misc{ honda04from,
author = "K. Honda",
title = "From process logic to program logic",
text = "Kohei Honda. From process logic to program logic. In Proc. ICFP'04, 2004.
A short version of Sections 1--3 and 6 in [19].",
year = "2004",
url = "citeseer.comp.nus.edu.sg/699247.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
650 An axiomatic basis of computer programming (context) - Hoare - 1969
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
259 Combinatory Logic (context) - Curry, Feys - 1958
242 Linear Logic (context) - Girard - 1987
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
223 Assigning meaning to programs (context) - Floyd - 1967
200 Introduction to Mathematical Logic (context) - Mendelson - 1987
194 Functions as Processes (context) - Milner - 1992
149 Calculus: a tutorial (context) - Milner - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
144 Full Abstraction for PCF - Abramsky, Jagadeesan et al. - 2000
139 Cambridge University Press (context) - Baeten, Weijland - 1990
118 A Spatial Logic for Concurrency - Caires, Cardelli - 2003
88 Intuitionistic Reasoning about Shared Mutable Data Structure - Reynolds - 1999
70 A logic for object-oriented programs - Abadi, Leino - 1997
68 On Full Abstraction for PCF (context) - Hyland, Ong - 2000
67 Composing Processes - Honda - 1996
64 Types and Programming Languages (context) - Pierce - 2002
58 A Logic for Parametric Polymorphism - Plotkin, Abadi - 1998
56 Game-theoretic analysis of call-by-value computation - Honda, Yoshida - 1999
53 An axiomatic definition of the programming language PASCAL (context) - Hoare, Wirth - 1973
49 Reasoning about Java Classes - Jacobs - 1998
42 Modal logics for mobile processes - Milner, Parrow et al. - 1993
39 A Uniform Type Structure for Secure Information Flow - Honda, Yoshida - 2002
37 Formal Parametric Polymorphism - Abadi, Cardelli et al. - 1993
26 Separation and Information Hiding (context) - O'Hearn, Yang et al. - 2004
26 and agent-passing calculi (context) - Sangiorgi - 1996
19 Enhancing the Pre- and Postcondition Technique for More Expr.. - Leavens, Baker - 1999
14 Proof of algorithms by general snapshots (context) - Naur - 1966
14 INRIA Research Report (context) - Boudol - 1992
13 Linearity and Bisimulation - Yoshida, Honda et al. - 2002
12 A proof method for cyclic programs (context) - Francez, Pnueli - 1978
10 Program proving: jumps and functions (context) - Clint, Hoare - 1971
9 Sequentiality and the p-Calculus (context) - Berger, Honda et al. - 2044
9 Linear types and the p-calculus (context) - Kobayashi, Pierce et al. - 1999
8 Process Logic and Duality: Part (context) - Honda - 2004
7 Concurrency: Practice and Experience (context) - Oheimb - 2002
7 Polarized games (context) - Laurent - 2002
6 and Wadsworth (context) - Gordon, Milner - 1979
6 Sequential Process Logics: Soundness Proofs - Honda - 2003
6 Genericity and the p-Calculus (context) - Berger, Honda et al. - 2003
5 A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida - 2004
5 Proving the correctness of regular deterministic programs (context) - Harel - 1980
4 Ten Years of Hoare Logic: a survey (context) - Apt - 1981
3 Semantics of Algorithmic Languages (context) - Hoare - 1971
3 and Berger (context) - Honda, Yoshida - 2004
3 Handbook of Theoretical Computer Science (context) - Cousot - 1999
3 Strong Normalisation in the p-Calculus (context) - Yoshida, Berger et al. - 2001
3 Studies in Logic and Computing (context) - Dam - 2003
2 Noninterference proofs from Flow Analysis (context) - Honda, Yoshida - 2004
2 Axiomatic approach to side effects and general jumps (context) - Kowaltowsky
2 IFIP 9th World Computer Congress (context) - Jones - 1983
2 Language and Information (context) - Longley, Plotkin - 1998
1 A programming logic for sequential Java (context) - Poetzsh-Heffter, Muller - 1999
http://www.cs.unibo.it/icalp/Lauree
Documents on the same site (http://www.doc.ic.ac.uk/~yoshida/paper/): More
lambda f-calculus - a Functional Calculus with Shared.. - Yoshida, Honda, Tokoro (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (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.