scientific article; zbMATH DE number 1746461

zbMATH Open0985.68007MaRDI QIDQ4532095FDOQ4532095

Authors:

Publication date: 28 May 2002

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (8)

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

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)