Sciweavers

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

74

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

16 years 3 months ago

Abstraction preservation and subtyping in distributed languages

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

Real-time Traffic

Abstraction Preservation | ICFP 2006 | Programming Languages |

claim paper

Related Content

» Subtypes vs Where Clauses Constraining Parametric Polymorphism

» Modular Visitor Components

» SessionBased Distributed Programming in Java

» Lazy Contract Checking for Immutable Data Structures

» Type Based Discretionary Access Control

» PropertyPreserving Evolution of Components Using VPABased Aspects

» Assembling components with behavioural contracts

» On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata

» Abstractions for network update

Post Info
More Details (n/a)

Added	13 Dec 2009
Updated	13 Dec 2009
Type	Conference
Year	2006
Where	ICFP
Authors	James J. Leifer, Pierre-Malo Deniélou

Comments (0)