Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JLP
2010

favoriteEmaildiscussreport

83views more JLP 2010»

Stronger compositions for retrenchments

12 years 11 months ago

Stronger compositions for retrenchments

Download www.cs.man.ac.uk

Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (via notions of tidy, neat, and fastidious retrenchments) that behave better in this regard. These alternatives do however make other issues such as associativity harder. The technical details are presented for vertical composition of retrenchments (i.e. the composition of successive retrenchment steps). Keywords. Retrenchment, Composition, Associativity.

Richard Banach, Czeslaw Jeske

Real-time Traffic

Associativity | Fastidious Retrenchments | JLP 2010 | Successive Retrenchment Steps |

claim paper

Related Content

» Composition mechanisms for retrenchment

» Distance makes the types grow stronger a calculus for differential privacy

» Negative weights make adversaries stronger

» Compositional Verification for ComponentBased Systems and Application

» Software Product Quality in Global Software Development Finding Groups with Aligned Goals

» ShiftInduced Dynamical Systems on Partitions and Compositions

» Selective method combination in mixinbased composition

» On the modularity of feature interactions

» DFinder A Tool for Compositional Deadlock Detection and Verification

Post Info
More Details (n/a)

Added	19 May 2011
Updated	19 May 2011
Type	Journal
Year	2010
Where	JLP
Authors	Richard Banach, Czeslaw Jeske

Comments (0)