scientific article; zbMATH DE number 1497827

zbMATH Open0958.68030MaRDI QIDQ4499249FDOQ4499249

Authors: Kazunori Ueda 

Publication date: 5 March 2001

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

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

zbMATH Keywords

automatic memory managementconcurrent logic languagemoded flat GHC

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logical relations and observational equivalences for session-based concurrency
• Program logic and equivalence in the presence of garbage collection.
• Efficient analysis of concurrent constraint logic programs
• Title not available (Why is that?)

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)