Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Practical Aspects of Declarative Languages, Veronica Dahl; Philip Wadler


Варианты приобретения
Цена: 12157.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Veronica Dahl; Philip Wadler
Название:  Practical Aspects of Declarative Languages
ISBN: 9783540003892
Издательство: Springer
Классификация:
ISBN-10: 3540003894
Обложка/Формат: Paperback
Страницы: 414
Вес: 0.59 кг.
Дата издания: 13.12.2002
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 22
Основная тема: Computer Science
Подзаголовок: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical, withsomenotableoverlaps. The program committee was divided on the approach to take to the con- rence.Thosefromthelogicprogrammingcommunitypreferredtohaveparallel sessionsinordertoacceptmorepapers, thosefromthefunctionalprogramming communitypreferredtoavoidparallelsessionsthoughitmeantacceptingfewer papers. We decided to nd strength in diversity, and experiment with taking both paths. We accepted 8 papers on functional programming, each presented initsownslot, and15papersonlogicprogramming,10ofwhicharepresentedin parallelsessions.Wefeltthatpapersfrombothcommunitieswerecomparablein quality.Theratioof4hoursoffunctionaltalksto5hoursoflogictalksmatches theratioofsubmissions. WhilemostpaperssubmittedtoPADLaretraditionalresearchpapers, some weresubmittedasApplicationLettersorDeclarativePearls.Traditionalpapers maybejudgedonwhethertheypresentacrispnewresearchresult;Application Lettersmaybejudgedaccordingtotheinterestintheapplicationandthenovel useofdeclarativelanguages;andDeclarativePearlsmaybejudgedaccordingto theeleganceofthedevelopmentandtheclarityoftheexpression. This year PADL instituted a Most Practical paper award, for the paper that best exempli?ed the goals of PADL. The award went to Data mining the yeast genome in a lazy functional language, Amanda Clare and Ross D. King, UniversityofWales, Aberystwyth, whichdescribesareal-wordapplication runningonmultiprocessors, drawingontechniquesfromboththefunctionaland logicprogrammingcommunities. Special thanks are due: to Shriram Krishnamurthi, Dave Tucker, and Paul Graunke of Brown University, for running the website of the PADL submission andreviewprocess(seeKrishnamurthisinvitedtalkinthisvolume);toMartina SharpofAvayaLabsandKimberlyVollofSimonFraserUniversity, forhelpwith preparingthisvolume;andtoGopalGuptaoftheUniversityofTexasatDallas, for serving as general chair. We thank Avaya Labs, Brown University, Simon FraserUniversity, Universit edeProvence, andtheUniversityofTexasatDallas fortheirsupport. Ourthankstotheprogramcommitteemembersandrefereesfortheirrev- wingandfortheiradvice.Finally, ourthankstoallthosewhosubmittedpapers toorparticipatedinPADL2003.


Practical Aspects of Declarative Languages

Автор: Enrico Pontelli; Santos C. Vitor
Название: Practical Aspects of Declarative Languages
ISBN: 3540669922 ISBN-13(EAN): 9783540669920
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Declarative Agent Languages and Technologies VII

Автор: Matteo Baldoni; Jamal Bentahar; M. Birna van Riems
Название: Declarative Agent Languages and Technologies VII
ISBN: 3642113540 ISBN-13(EAN): 9783642113543
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 7th International Workshop DALT 2009 Budapest Hungary May 11 2009 Revised Selected and Invited Pape. .

Practical Aspects of Declarative Languages

Автор: I.V. Ramakrishnan
Название: Practical Aspects of Declarative Languages
ISBN: 3540417680 ISBN-13(EAN): 9783540417682
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Among the topics covered in this volume of selected papers are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, visual tracking, and model checking.

Practical Aspects of Declarative Languages

Автор: Enrico Pontelli; Tran Cao Son
Название: Practical Aspects of Declarative Languages
ISBN: 3319196855 ISBN-13(EAN): 9783319196855
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions.

Practical Aspects of Declarative Languages

Автор: Lierler
Название: Practical Aspects of Declarative Languages
ISBN: 3319516752 ISBN-13(EAN): 9783319516752
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.

Practical Aspects of Declarative Languages

Автор: Shriram Krishnamurthi; C.R. Ramakrishnan
Название: Practical Aspects of Declarative Languages
ISBN: 354043092X ISBN-13(EAN): 9783540430926
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems.

Practical Aspects of Declarative Languages

Автор: Kostis Sagonas
Название: Practical Aspects of Declarative Languages
ISBN: 3642452833 ISBN-13(EAN): 9783642452833
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages.

Declarative Agent Languages and Technologies VI

Автор: Matteo Baldoni; Tran Cao Son; Birna van Riemsdijk;
Название: Declarative Agent Languages and Technologies VI
ISBN: 3540939199 ISBN-13(EAN): 9783540939191
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

Practical Aspects of Declarative Languages

Автор: Manuel Carro; Ricardo Pe?a
Название: Practical Aspects of Declarative Languages
ISBN: 3642115020 ISBN-13(EAN): 9783642115028
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.

Practical Aspects of Declarative Languages

Автор: Matthew Flatt; Hai-Feng Guo
Название: Practical Aspects of Declarative Languages
ISBN: 3319041312 ISBN-13(EAN): 9783319041315
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages.

Practical Aspects of Declarative Languages

Автор: Marco Gavanelli; John Reppy
Название: Practical Aspects of Declarative Languages
ISBN: 3319282271 ISBN-13(EAN): 9783319282275
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book.

Practical Aspects of Declarative Languages

Автор: Gopal Gupta
Название: Practical Aspects of Declarative Languages
ISBN: 3540655271 ISBN-13(EAN): 9783540655275
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers, practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия