Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings

>> Google Books

Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski

版:

1st ed. 1989

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 1989

形態:

VIII, 308 p.

シリーズ名:

Lecture Notes in Computer Science ; 348

著者名:

ISBN:

9783540460923 [3540460926]
9783662177273 [3662177277]
9783540508205 [3540508201]

書誌ID:

EB00001324

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construct

主題:

Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Computer System Implementation; Programming Techniques; Software Engineering

言語:

英語

目次情報:

Contents: Functional Programming and Logic Programming.

Abstract Interpretation in Logic Programming.

Logic Programming in Compiler Writing.

Grammars.

Attribute Grammars and Logic Programming.

Attribute Grammars in Logic Programming.

Logic Programming for Programming Environments.

Contents: Functional Programming and Logic Programming.

Abstract Interpretation in Logic Programming.

Logic Programming in Compiler Writing.

Grammars.

Attribute Grammars and Logic Programming.

Attribute Grammars in Logic Programming.

続きを見る

ブックレビュー

類似資料:

1 電子ブック Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings Deransart, Pierre., Maluszynski, Jan., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings Bruynooghe, Maurice., Wirsing, Martin., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings Maluszynski, Jan., Wirsing, Martin., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Analysis and Visualization Tools for Constraint Programming : Constraint Debugging Deransart, Pierre., Hermenegildo, M.V., Maluszynski, J., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings Bruynooghe, Maurice., Penjam, Jaan., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings Kuchen, Herbert., Swierstra, S.Doaitse., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings Codognet, Philippe., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. … Hermenegildo, Manuel., Swierstra, S.Doaitse., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings Hermenegildo, Manuel., Penjam, Jaan., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming … Glaser, Hugh., Hartel, Peter., Kuchen, Herbert., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers Flener, Pierre., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Demoen, Bart., Lifschitz, Vladimir., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12