26 papers:
HPCA-2011-JoshiZL #energy #memory management #multi #named #performance- Mercury: A fast and energy-efficient multi-level cell based Phase Change Memory system (MJ, WZ, TL), pp. 345–356.
ICLP-2011-Bone #automation #parallel- Automatic Parallelism in Mercury (PB), pp. 251–254.
PPDP-2009-PhanJ #analysis #source code- Path-sensitive region analysis for mercury programs (QP, GJ), pp. 161–170.
LOPSTR-2008-DegraveSV #automation #generative #testing- Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
ISMM-2008-PhanSJ #memory management #runtime- Runtime support for region-based memory management in Mercury (QP, ZS, GJ), pp. 61–70.
- ICLP-2008-Degrave #automation #development #testing
- Development of an Automatic Testing Environment for Mercury (FD), pp. 805–806.
- LOPSTR-2007-DegraveV #normalisation #source code #towards
- Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.
- ICLP-2007-PhanJ #analysis
- Static Region Analysis for Mercury (QP, GJ), pp. 317–332.
PADL-2006-BecketBMSSW #constraints #theorem proving- Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
- PADL-2006-SomogyiS #design #implementation
- Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.
ASPLOS-2006-HeathCGRJ- Mercury and freon: temperature emulation and management for server systems (TH, APC, PG, LER, YJ, RB), pp. 106–116.
- ICLP-2006-PhanJ #memory management #source code #towards
- Towards Region-Based Memory Management for Mercury Programs (QP, GJ), pp. 433–435.
- PDCL-2004-VanhoofBL #analysis
- Binding-Time Analysis for Mercury (WV, MB, ML), pp. 189–232.
- PPDP-2003-CameronBMM #debugging #named #visual notation
- ViMer: a visual debugger for mercury (MC, MJGdlB, KM, PM), pp. 56–66.
- PPDP-2002-OvertonSS #analysis #constraints
- Constraint-based mode analysis of mercury (DO, ZS, PJS), pp. 109–120.
CC-2002-HendersonS #c #compilation- Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
- ICLP-2001-MazurRJB #aspect-oriented #garbage collection
- Practical Aspects for a Working Compile Time Garbage Collection System for Mercury (NM, PR, GJ, MB), pp. 105–119.
- LOPSTR-2000-VanhoofB #analysis #composition #higher-order #towards
- Towards a modular binding-time analysis for higher-order Mercury (WV, MB).
- CL-2000-MazurJB #analysis #memory management #reuse
- A Module Based Analysis for Memory Reuse in Mercury (NM, GJ, MB), pp. 1255–1269.
- LOPSTR-1999-RossOS #recursion #source code
- Making Mercury Programs Tail Recursive (PR, DO, ZS), pp. 196–215.
- PPDP-1999-DowdSHCJ #runtime
- Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.
- PADL-1999-JefferyDS #corba #named
- MCORBA: A CORBA Binding for Mercury (DJ, TD, ZS), pp. 211–227.
- ICLP-1999-VanhoofB #analysis
- Binding-time Analysis for Mercury (WV, MB), pp. 500–514.
- LOPSTR-1998-BaldanCLP #declarative #semantics #towards
- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.
SAS-1997-SpeirsSS #analysis #termination- Termination Analysis for Mercury (CS, ZS, HS), pp. 160–171.
- ILPS-1995-ConwayHS #code generation
- Code Generation for Mercury (TCC, FH, ZS), pp. 242–256.
