Predicate transformers and linear logic: Yet another denotational model

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3210, Issue , 2004, Pages 115-129

  Hyvernat, Pierre ^a,b  

^a AIX MARSEILLE UNIVERSITÉ   (France)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; LINEAR ALGEBRA; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

ALGEBRAIC PROPERTIES; DENOTATIONAL MODELS; LINEAR LOGIC; LOGICAL CONSTRUCTIONS; MODEL SPECIFICATIONS; PREDICATE TRANSFORMERS; REFINEMENT CALCULI; SAFETY PROPERTY;

COMPUTER CIRCUITS;

EID: 35048813597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30124-0_12     Document Type: Article

References (12)

1. Girard, J.Y.: Linear logic. Theoretical Computer Science 50 (1987)
2. Ehrhard, T., Regnier, L.: The differential lambda calculus. Theoretical Computer Science 309 (2003) 1-41
3. Ehrhard, T., Regnier, L.: Differential interaction nets, unpublished note (2004)
4. Gardiner, P.H.B., Martin, C.E., de Moor, O.: An algebraic construction of predicate transformers. Science of Computer Programming 22 (1994) 21-44
5. Back, R.J., von Wright, J.: Refinement Calculus: a systematic introduction. Graduate texts in computer science. Springer-Verlag, New York (1998)
6. Ehrhard, T.: Hypercoherences: a strongly stable model of linear logic. Mathematical Structures in Computer Science 3 (1993) 365-385
7. Ehrhard, T.: Finiteness spaces, to appear in Mathematical Structures in Computer Science (2004)
8. Back, R.J., von Wright, J.: Product in the refinement calculus. Technical Report 235, Turku Center for Computer Science (1999)
9. Abramsky, S., Gay, S.J., Nagarajan, R.: A specification structure for deadlockfreedom of synchronous processes. Theoretical Computer Science 222 (1999) 1-53
10. Bucciarelli, A., Ehrhard, T.: On phase semantics and denotational semantics: the exponentials. Annals of Pure and Applied Logic 109 (2001) 205-241
11. Boudes, P.: Non-uniform hypercoherences. In Blute, R., Selinger, P., eds.: Electronic Notes in Theoretical Computer Science. Volume 69., Elsevier (2003)
12. Hyvernat, P.: Predicate transformers and linear logic: second order, unpublished note (2004)