|
Available
DM 70,-
Recommended List Price
Fields: Programming
Techniques; Artificial Intelligence; Formal Languages
Written for: Researchers
and Professionals
Book category: Proceedings
Publication language:
English
|
|
Proietti,
M., IASI-CNR, Rome, Italy
(Ed.)
Logic Program Synthesis and
Transformation
5th International Workshop,
LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
1996. X, 267 pp.
3-540-60939-3
DM 70,-
Recommended List Price
This book constitutes the
refereed proceedings of the 5th International Workshop on Logic Program
Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands
in September 1995.
The 19 papers included were
selected from 40 workshop submissions; they offer a unique up-to-date account
of the use of formal synthesis and transformation techniques for computer-aided
development of logic programs. Among the topics addressed are deductive
and inductive program synthesis, synthesis models based on constructive
type theory, program specification, program analysis, theorem proving,
and applications to various types of programs.
Keywords: Program
Synthesis, Program Transformation, Logic Programming, Program Semantics,
Horn Clauses
Series:
Lecture Notes in Computer Science.VOL. 1048
Last update: 26.09.2000
Your inquiries about Springer
products are welcome at International
Sales and Marketing
© Copyright Springer-Verlag
Berlin/Heidelberg 1999 |