Kniha Principles and Practice of Declarative Programming Gopalan Nadathur

Principles and Practice of Declarative Programming

International Conference, PPDP '99, Paris, France, September 29 - October 1, 1999. Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 310
This volume contains the papers presented at the 1999 International C- ference on Principles and Pra...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1999
Stránek
442
EAN
9783540665403
ISBN
3540665404
Enbook ID
05275023
Vydavatel
Hmotnost
589
Rozměry
156 x 234 x 23

Kompletní popis

This volume contains the papers presented at the 1999 International C- ference on Principles and Practice of Declarative Programming (PPDP 99) held in Paris from September 29 through October 1, 1999. PPDP 99 participated, together with the International Conference on Functional Programming (ICFP) and several related workshops, in a federation of colloquia known as Principles, Logics and Implementations of high-level programming languages(PLI 99). The overall event was organized by the Institut National de Recherche en Inf- matique et en Automatique (INRIA) and the ACM Special Interest Group for Programming Languages (ACM/SIGPLAN). PPDP represents the union of two conferences that had been in existence for about a decade: Programming Languages,Implementations, Logics and P- grams(PLILP)andAlgebraicandLogicProgramming(ALP). Theseconferences wereheldasoneforthe?rsttimeunderthenamePLILP/ALPintheirtenthand seventhrespectiveincarnationslastyear. Thepresentrenditionfollowsadecision bythe combinedsteering committees to adopta simpler namefor the conference that also re?ected the union. Continuing the tradition of PLILP/ALP, PPDP aims to stimulate research in the use of declarative methods in programming and on the design, application, and implementation of programming languages that support such methods. Topics of interest include the use of type theory, logics, and logical methods in understanding, de?ning, integrating, and exte- ing programming paradigms such as those for functional, logic, object-oriented, constraint,and concurrentprogramming;support for modularity;the use of l- ics in the design of program development tools; development of implementation methods; and the application of the relevant paradigms and associated methods in industry and education. Many of these themes are re?ected in the papers appearing in the present collection.

Mohlo by vás zajímat

Light at Dusk

Peter Gadol
380
543

California Plays

Adele Edling Shank
584
2 286
594

Elephants Can Remember

Agatha Christie
557

Mary Jane

Jessica Anya Blau
260

Respiratory Infections

Mieczyslaw Pokorski
2 286

Soul Eater, Vol. 25

Atsushi Ohkubo
235
5 525

Sita's Ramayana

Samhita Arni
264

Zákaznicí kteří koupili tuto knihu koupili také

130

Navždy tvoj

Abby Jimenez
419
280
823
147
231