Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Static Region Analysis for Mercury

From MaRDI portal
Publication:3608664
Jump to:navigation, search

DOI10.1007/978-3-540-74610-2_22zbMATH Open1213.68183OpenAlexW1570130300MaRDI QIDQ3608664FDOQ3608664


Authors: Quan Phan, Gerda Janssens Edit this on Wikidata


Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/146671




Recommendations

  • Region-based memory management for Mercury programs
  • Towards Region-Based Memory Management for Mercury Programs
  • Region-based memory management
  • Programming Languages and Systems
  • scientific article; zbMATH DE number 2090526


Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)



Cited In (5)

  • Region-based memory management for Mercury programs
  • Towards Region-Based Memory Management for Mercury Programs
  • Analytical development of rigid Mercury nutation series
  • Title not available (Why is that?)
  • Programming Languages and Systems

Uses Software

  • Mercury





This page was built for publication: Static Region Analysis for Mercury

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3608664&oldid=17035363"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 04:14. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki