Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Norbert E. Fuchs
Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation
LOPSTR, 1997.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{LOPSTR-1997,
	address       = "Leuven, Belgium",
	editor        = "Norbert E. Fuchs",
	isbn          = "3-540-65074-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation}",
	volume        = 1463,
	year          = 1997,
}

Contents (17 items)

LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.
LOPSTR-1997-BossiC #source code
Programs Without Failures (AB, NC), pp. 28–48.
LOPSTR-1997-BuyukyildizF #logic programming #program transformation
Generalised Logic Program Transformation Schemas (HB, PF), pp. 49–68.
LOPSTR-1997-ChasseurD #constraints #logic programming
Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.
LOPSTR-1997-Christiansen #synthesis
Implicit Program Synthesis by a Reversible Metainterpreter (HC), pp. 90–110.
LOPSTR-1997-DecorteSLMS #analysis #logic programming #termination
Termination Analysis for Tabled Logic Programming (SD, DDS, ML, BM, KFS), pp. 111–127.
LOPSTR-1997-FlenerLO #on the
On Correct Program Schemas (PF, KKL, MO), pp. 128–147.
LOPSTR-1997-HeatonHK #analysis #logic programming #source code
Analysis of Logic Programs with Delay (AH, PMH, AK), pp. 148–167.
LOPSTR-1997-LafaveG #constraints #functional #logic programming #partial evaluation #source code
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.
LOPSTR-1997-LeuschelMS #logic programming #source code #termination
Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.
LOPSTR-1997-LindenstraussSS
Unfolding the Mystery of Mergesort (NL, YS, AS), pp. 206–225.
LOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards
Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
LOPSTR-1997-NaishS #higher-order #re-engineering
A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.
LOPSTR-1997-RichardsonF #development #prolog #source code
Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.
LOPSTR-1997-SaglamG #approximate #logic programming #source code
Constrained Regular Approximation of Logic Programs (HS, JPG), pp. 282–299.
LOPSTR-1997-SemeraroEMFF #datalog #framework #incremental #induction #logic #synthesis
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories (GS, FE, DM, NF, SF), pp. 300–321.
LOPSTR-1997-VanhoofM
To Parse or Not To Parse (WV, BM), pp. 322–342.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.