scientific article; zbMATH DE number 2090851

MaRDI QIDQ4813403zbMATH OpenFDO

Authors Ben Liblit, Alex Aiken, Katherine A. Yelick

Publication date 13 August 2004

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

Mathematics Subject Classification ID

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

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

(6)

• Replicating data for better performances in X10
• scientific article; zbMATH DE number 5994824 (Why is no real title available?)
• A type language for distributed reactive components governed by communication protocols
• 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

Describes a project that uses

Uses Software

• Eraser

This page was built for publication:

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