Stem wam$ (all stems)

39 papers:

ICLP-2009-SwiftPP #incremental

Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.

ICLP-2008-DemoenN #implementation

Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.

ICLP-2008-DemoenN08a #reuse

Environment Reuse in the WAM (BD, PLN), pp. 698–702.

CIKM-2005-ZhaoBG05a #named #web

WAM-Miner: in the search of web access motifs from historical web log data (QZ, SSB, LG), pp. 421–428.

PADL-2003-FerreiraD #analysis

WAM Local Analysis (MF, LD), pp. 286–303.

ICLP-2002-Demoen #garbage collection

A Different Look at Garbage Collection for the WAM (BD), pp. 179–193.

ICLP-2002-DemoenNV #garbage collection #question

Copying Garbage Collection for the WAM: To Mark or Not to Mark? (BD, PLN, RV), pp. 194–208.

ICLP-2002-MakholmS #on the

On Enabling the WAM with Region Support (HM, KFS), pp. 163–178.

CL-2000-DemoenN

So Many WAM Variations, So Little Time (BD, PLN), pp. 1240–1254.

PADL-1999-FerreiraD #multi

Multiple Specialization of WAM Code (MF, LD), pp. 243–258.

SAS-1997-BaldanF #abstract interpretation

Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.

SAC-1996-DemoenET #garbage collection #order #prolog

Segment order preserving copying garbage collection for WAM based Prolog (BD, GE, PT), pp. 380–386.

JICSLP-1996-Neumerkel #interprocedural #text-to-text

Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.

ICLP-1995-SagonasW #execution #implementation #performance #prolog

Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.

PLILP-1994-TarauN #data transformation #novel #representation

A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.

ICLP-1994-Diel #towards

Towards a Verified OR-Parallel WAM (SD), pp. 737–738.

ILPS-1994-SwiftW #analysis #evaluation #source code

Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.

PLILP-1993-Dikovsky #complexity #prolog

Abstract Complexity of Prolog Based on WAM (AJD), pp. 365–377.

PLILP-1993-DovierP #implementation #logic #set

A WAM-Based Implementation of a Logical Language with Sets (AD, EP), pp. 275–290.

ICLP-1993-DiazC

A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.

ICLP-1993-WeiglFMF #fuzzy #named #prolog

Istropolitan — a WAM Based Fuzzy Prolog (IW, MF, SM, RF), p. 852.

ILPS-1993-Paterson-JonesW

Extending the WAM for HiLog (RPJ, PTW), p. 654.

ILPS-1993-Tarau #continuation #performance #source code

An Efficient Specialization of the WAM for Continuation Passing Binary Programs (PT), p. 652.

PLILP-1992-Hans #automaton

A Complete Indexing Scheme for WAM-based Abstract Machines (WH), pp. 232–244.

JICSLP-1992-OlderR #garbage collection #incremental #prolog

An Incremental Garbage Collector for WAM-Based Prolog (WJO, JAR), pp. 369–383.

CSL-1991-BeierleB #correctness #proving

Correctness Proof For the WAM with Types (CB, EB), pp. 15–34.

ICLP-1991-CodognetS #backtracking

Extending the WAM for Intelligent Backtracking (PC, TS), pp. 127–141.

ICLP-1991-MatyskaJT

Register Allocation in WAM (LM, AJ, DT), pp. 142–156.

ICLP-1991-PalmerN #named #parallel #prolog

NUA-Prolog: An Extension to the WAM for Parallel Andorra (DP, LN), pp. 429–442.

ISLP-1991-MarienD #unification

A New Scheme for Unification in WAM (AM, BD), pp. 257–271.

CSL-1990-BorgerR #algebra #implementation #prolog #towards

From Prolog Algebras Towards WAM — A Mathematical Study of Implementation (EB, DR), pp. 31–66.

CSL-1990-Durdanovic #algorithm #garbage collection #performance #prolog

A Fast Garbage Collection Algorithm for WAM-Based Prolog (ID), pp. 110–127.

NACLP-1990-Umrigar #order #prolog #unification

Finding Advantageous Orders for Argument Unification for the Prolog WAM (ZDU), pp. 80–96.

NACLP-1989-JamsekGCH #named #reduction

WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.

NACLP-1989-MarienD #on the

On the Management of Choicepoint and Environment Frames in the WAM (AM, BD), pp. 1030–1047.

NACLP-1989-NadathurJ #prolog #towards

Towards a WAM Model for λ-Prolog (GN, BJ), pp. 1180–1198.

JICSCP-1988-JanssensDM88 #unification

Improving the Register Allocation of WAM by Recording Unification (GJ, BD, AM), pp. 1388–1402.

ICLP-1987-Carlsson87 #implementation

Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.

ICLP-1986-Turk86 #compilation #optimisation

Compiler Optimizations for the WAM (AKT), pp. 657–662.