Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)
暫譯: 程式語言實作與邏輯程式設計:第五屆國際研討會 PLILP '93,愛沙尼亞塔林,1993年8月25-27日。會議錄(計算機科學講義)

***

  • 出版商: Springer
  • 出版日期: 1993-08-13
  • 售價: $2,470
  • 貴賓價: 9.5$2,347
  • 語言: 英文
  • 頁數: 427
  • 裝訂: Paperback
  • ISBN: 3540571868
  • ISBN-13: 9783540571865
  • 相關分類: Computer-Science
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped intoparts on: integration of different paradigms, constraint programming, staticanalysis and abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volume closes with six abstracts of systems demonstrations and posters.

商品描述(中文翻譯)

本卷包含第五屆國際程式語言實作與邏輯程式設計研討會(PLILP '93)的會議紀錄,該會議於1993年8月在愛沙尼亞塔林舉行。PLILP研討會系列的建立旨在促進在宣告式程式設計技術、邏輯程式設計和程式語言實作方面有共同興趣的科學家之間的聯繫和資訊交流。來自演算法程式語言、邏輯、函數式、物件導向及約束程式設計等領域的研究人員構成了PLILP的聽眾。本卷包含三場特邀演講和24篇選定的投稿論文,這些論文分為幾個部分,涵蓋不同範式的整合、約束程式設計、靜態分析與抽象解釋、文法、縮減、平行性及實作技術。本卷最後附有六篇系統示範和海報的摘要。

類似商品