Type systems for distributed data sharing

DOI10.1007/3-540-44898-5_15MaRDI QIDQ4813403zbMATH OpenFDO

Authors Ben Liblit, Alex Aiken, Katherine A. Yelick

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940273.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type systems for distributed data structures
• scientific article; zbMATH DE number 5994824
• Type systems for concurrent programs.
• Toward a model for shared data abstraction with performance
• scientific article; zbMATH DE number 1160045

Cited in

(7)

• A type language for distributed reactive components governed by communication protocols
• Replicating data for better performances in X10
• scientific article; zbMATH DE number 5994824 (Why is no real title available?)
• scientific article; zbMATH DE number 7075898 (Why is no real title available?)
• Type systems for distributed data structures
• Type systems for distributed programs: components and sessions
• Handling mobility failures by modal types

Describes a project that uses

Uses Software

• Eraser

This page was built for publication: Type systems for distributed data sharing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813403)