Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Proceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming
ALP/PLILP, 1998.

@proceedings{ALP-PLILP-1998,
	address       = "Pisa, Italy",
	editor        = "Catuscia Palamidessi and Hugh Glaser and Karl Meinke",
	isbn          = "3-540-65012-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming}",
	volume        = 1490,
	year          = 1998,
}

Contents (31 items)

7 ×#logic programming
7 ×#source code
4 ×#functional
3 ×#compilation
3 ×#constraints
3 ×#using
2 ×#analysis
2 ×#detection
2 ×#framework
2 ×#haskell

ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking

Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.

ALP-PLILP-1998-DemoenS #approach #named

CAT: The Copying Approach to Tabling (BD, KFS), pp. 21–35.

ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread

SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.

ALP-PLILP-1998-VanhoofSM #bottom-up #framework #logic programming #source code

A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.

ALP-PLILP-1998-SmausHK #logic programming #source code #termination

Termination of Logic Programs with block Declarations Running in Several Modes (JGS, PMH, AK), pp. 73–88.

ALP-PLILP-1998-CodishS #analysis #logic #set

The Boolean Logic of Set Sharing Analysis (MC, HS), pp. 89–101.

ALP-PLILP-1998-LeviV #abstract interpretation #proving

Derivation of Proof Methods by Abstract Interpretation (GL, PV), pp. 102–117.

ALP-PLILP-1998-BruynoogheVWD #detection #logic programming #query #source code

Detecting Unsolvable Queries for Definite Logic Programs (MB, HV, DAdW, MD), pp. 118–133.

ALP-PLILP-1998-HatcliffDL #analysis #staging #using

Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.

ALP-PLILP-1998-LeviS #empirical #logic programming #refinement #source code

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs (GL, FS), pp. 152–169.

ALP-PLILP-1998-ConselM #architecture #development #using

Architecture Software Using: A Methodology for Language Development (CC, RM), pp. 170–194.

ALP-PLILP-1998-KesnerL

Explicit Substitutions for Objects and Functions (DK, PEML), pp. 195–212.

ALP-PLILP-1998-PontelliRG #complexity #object-oriented

The Complexity of Late-Binding in Dynamic Object-Oriented Languages (EP, DR, GG), pp. 213–229.

ALP-PLILP-1998-MoreauK #commutative #compilation #source code

A Compiler for Rewrite Programs in Associative-Commutative Theories (PEM, HK), pp. 230–249.

ALP-PLILP-1998-Aoto #persistent #problem #term rewriting

Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems (TA), pp. 250–265.

ALP-PLILP-1998-LimetS #framework #problem

A General Framework for R-Unification Problems (SL, FS), pp. 266–281.

ALP-PLILP-1998-Pitts #higher-order #semantics

Operational Versus Denotational Methods in the Semantics of Higher Order Languages (AMP), pp. 282–283.

ALP-PLILP-1998-Elliott #animation #functional #implementation

Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.

ALP-PLILP-1998-FeeleyL #compilation #erlang

Compiling Erlang to Scheme (MF, ML), pp. 300–317.

ALP-PLILP-1998-BreitingerKL #haskell #implementation #parallel #perspective

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.

ALP-PLILP-1998-Wakeling #compilation #functional #haskell #java #lazy evaluation #mobile #source code #virtual machine

Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.

ALP-PLILP-1998-Hannan #program analysis #prolog

Program Analysis in λ-Prolog (JH), pp. 353–354.

ALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics

A Game Semantics Foundation for Logic Programming (RDC, JVL, SN), pp. 355–373.

ALP-PLILP-1998-HanusS #declarative #source code

Controlling Search in Declarative Programs (MH, FS), pp. 374–390.

ALP-PLILP-1998-LiptonM #constraints #encapsulation #logic programming

Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.

ALP-PLILP-1998-ClearyL #using

Constructive Negation Using Typed Existence Properties (JGC, LL), pp. 411–426.

ALP-PLILP-1998-Asperti #functional #reduction

Optimal Reduction of Functional Expressions (AA), pp. 427–428.

ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi

Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.

ALP-PLILP-1998-GoguenMK #theorem

A Hidden Herbrand Theorem (JAG, GM, TK), pp. 445–462.

ALP-PLILP-1998-AjiliL #constraints #linear

Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.

ALP-PLILP-1998-Refalo #detection #incremental

Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method (PR), pp. 481–496.