scientific article; zbMATH DE number 1746461

MaRDI QIDQ4532095zbMATH OpenFDO

Authors

Publication date 28 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2071/20710177

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1629948
• scientific article; zbMATH DE number 1948387
• A type system for bounded space and functional in-place update
• Recursive subtyping revealed
• scientific article; zbMATH DE number 1538025

Cited in

(8)

• scientific article; zbMATH DE number 1948387 (Why is no real title available?)
• A type theory for memory allocation and data layout
• scientific article; zbMATH DE number 1629948 (Why is no real title available?)
• Efficient pebbling for list traversal synopses with application to program rollback
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• Typing copyless message passing
• Resource sharing via capability-based multiparty session types
• Alias types and effects for ``environments-aware computations

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 Q4532095)