Towards Automatic Control for CLP(x) Programs

Authors:
Frédéric Mesnard
Affiliations:
-
Venue:
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
Year:
1995

Citing 0
Cited 3

Control Generation by Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Analysis of Linear Hybrid Systems in CLP

Logic-Based Program Synthesis and Transformation
Control Generation by Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

Quantified Score

Hi-index	0.00

Visualization

Abstract