Towards Region-Based Memory Management for Mercury Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/11799573_37
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Region-Based Memory Management in Cyclone

2002English

Multiprogrammed Memory Management for Random-Sized Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1976English

Mercury a Dilemma for the Caribbean Region

Biomedical Journal of Scientific & Technical Research
2018English

Towards Transactional Memory for OpenMP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Communication Optimizations for Distributed-Memory X10 Programs

2011English

Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods

Journal of Software
2015English

Towards Composable Timing for Real-Time Programs

2009English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy