scientific article; zbMATH DE number 1497827

MaRDI QIDQ4499249zbMATH OpenFDO

Authors Kazunori Ueda

Publication date 5 March 2001

zbMATH Keywords

automatic memory managementconcurrent logic languagemoded flat GHC

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1701349
• The role of linearity in sharing analysis
• Exploiting linearity in sharing analysis of object-oriented programs
• Program logic and equivalence in the presence of garbage collection.
• scientific article; zbMATH DE number 516999

Cited in

(6)

• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 1701349 (Why is no real title available?)
• scientific article; zbMATH DE number 1761892 (Why is no real title available?)
• scientific article; zbMATH DE number 1406236 (Why is no real title available?)
• Program logic and equivalence in the presence of garbage collection.
• Linear logical relations and observational equivalences for session-based concurrency

Describes a project that uses

Uses Software

• GHC

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