Talk at -Calculus Seminar '99- Yoshiki Kinoshita February 23, 1999  Home/Search
Context
Related
| aist.go.jp/ETL/~yoshiki/Pap...TR997.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: aist.go.jp/ETL/~yoshiki/Pa...LIST (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In order to give a precise syntactic definition of fixpoint programs, we introduced "judgements" similar to those used in typed #-calculus. Hoare-He-Sanders[1] gave the following inductive definition of the set of commands as a set of binary relations on a given set S. This definition is parameterised by a family of binary relations { R i | i # I }. . R i (i # I) is a command. . skip is a command. . abort is a command. . If R, R # are commands, R; R # (the composition of R and... (Update)
Active bibliography (related documents): More All
0.2: A Functorial Approach to Refinement - Yoshiki Kinoshita And (Correct)
0.2: Cumulatives for Safety - Kinoshita, Takahashi (Correct)
0.2: Axiomatics for Data Refinement in Call By Value Programming.. - Power, Tanaka (Correct)
Similar documents based on text: More All
0.1: Computing with Infinitary Logic - Abiteboul, Vardi (1995) (Correct)
0.1: Characterizing Interpolation Pairs in Infinitary Graded Logics - D'Agostino (2000) (Correct)
0.1: Coalgebraic Logic - Moss (1999) (Correct)
BibTeX entry: (Update)
@misc{ calculus-judgements,
author = "Talk At Calculus",
title = ""Judgements" for Syntactic Definition of Fixpoint Programs",
url = "citeseer.ist.psu.edu/322935.html" }
Citations (may not include all citations):36 Prespecification in data refinement (context) - Hoare, Jifeng et al. - 1987
4 A general completeness result in refinement - Kinoshita, Power et al. - 1999
Documents on the same site (http://www.aist.go.jp/ETL/~yoshiki/Papers/LIST.html):
Lax Naturality Through Enrichment - Kinoshita, Power (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC