عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540669922
شابک
9783540669920
شماره کتابشناسی ملی
شماره
b541864
عنوان و نام پديدآور
عنوان اصلي
Practical aspects of declarative languages :
نام عام مواد
[Book]
ساير اطلاعات عنواني
second international workshop ; proceedings
نام نخستين پديدآور
PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2000
مشخصات ظاهری
نام خاص و کميت اثر
x, 323 Seiten : Diagramme ; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 1753.
يادداشت کلی
متن يادداشت
Literaturangaben.
یادداشتهای مربوط به مندرجات
متن يادداشت
Functional Programming.- First Class Patterns?.- Parallel Functional Reactive Programming.- Out-of-Core Functional Programming with Type-Based Primitives.- Functional-Logic Programming.- A Functional Logic Programming Approach to Graphical User Interfaces.- Using Static Analysis to Compile Non-sequential Functional Logic Programs?.- Logic Programming.- GNU Prolog: Beyond Compiling Prolog to C.- Heap Garbage Collection in XSB: Practice and Experience.- Implementation of a Linear Tabling Mechanism.- How to Incorporate Negation in a Prolog Compiler?.- Innovative Applications I.- A Logic-Based Information System.- HIPPO - A Declarative Graphical Modelling System.- Calculating a New Data Mining Algorithm for.- Constraint Programming and Constraint Solving.- A Toolkit for Constraint-Based Inference Engines.- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.- Programming Deep Concurrent Constraint Combinators.- Labeling and Partial Local Consistency for Soft Constraint Programming.- Systems Applications.- Transformation-by-Example for XML.- Modeling HTML in Haskell.- A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database.- Innovative Applications II.- A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.- Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.- Invited Talks.- Current Trends in Logic Programming: Prospects and Promises (Abstract).- Production-Quality Proof-Carrying Code (Abstract).
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
;Deklarative Programmiersprache
موضوع مستند نشده
Boston Mass., 2000>
موضوع مستند نشده
Deklarative Programmiersprache.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Enrico Pontelli
مستند نام اشخاص تاييد نشده
PADL (2, 2000, Boston, Mass.)
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
