Mendeley出力
＜図書＞
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings
| 責任表示 | Maurice Bruynooghe, Jaan Penjam, eds |
|---|---|
| シリーズ | Lecture notes in computer science ; 714 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; New York : Springer-Verlag , c1993 |
| 本文言語 | 英語 |
| 大きさ | xi, 421 p. : ill. ; 24 cm |
| 概要 | This volume contains the proceedings of the FifthInternational Symposium onProgramming LanguageImplementation and Logic Programming (PLILP '93), held inTallinn, Estonia, in August 1993. The series of...PLILPsymposiums was established to promote contacts andinformation exchange among scientists who share commoninterests in declarative programming techniques, logicprogramming, and programming languages imnplementation.Researchers from the fields of algorithmic programminglanguages as well as logic, functional, object-oriented, andconstraint programming constitute the audience of PLILP.The volume contains three invited talks and 24 selectedcontributed papers grouped intoparts on: integration ofdifferent paradigms, constraint programming, staticanalysisand abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volumecloses with six abstracts of systems demonstrations andposters. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7019098 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1993 |
|
061232004011397 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | *International Symposium, PLILP (5th : 1993 : Tallinn, Estonia) Bruynooghe, M. (Maurice) Penjam, Jaan, 1955- |
| 件 名 | LCSH:Programming languages (Electronic computers) -- Congresses
全ての件名で検索
LCSH:Logic programming -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.7 DC20:005.13/1 |
| 書誌ID | 1001014213 |
| ISBN | 0387571868 |
| NCID | BA20710090 |
| 巻冊次 | : us ; ISBN:0387571868 : gw ; ISBN:3540571868 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |