Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

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.

Saved in:
Bibliographic Details
Main Authors: Gupta, Gopal. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
Subjects:Computer science., Software engineering., Programming languages (Electronic computers)., Computer logic., Artificial intelligence., Computer Science., Programming Languages, Compilers, Interpreters., Software Engineering/Programming and Operating Systems., Logics and Meanings of Programs., Artificial Intelligence (incl. Robotics).,
Online Access:http://dx.doi.org/10.1007/3-540-49201-1
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:209580
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
spellingShingle Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Gupta, Gopal. editor.
SpringerLink (Online service)
Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
description 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.
format Texto
topic_facet Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
author Gupta, Gopal. editor.
SpringerLink (Online service)
author_facet Gupta, Gopal. editor.
SpringerLink (Online service)
author_sort Gupta, Gopal. editor.
title Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
title_short Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
title_full Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
title_fullStr Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
title_full_unstemmed Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /
title_sort practical aspects of declarative languages [electronic resource] : first international workshop, padl’99 san antonio, texas, usa, january 18–19, 1999 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1998
url http://dx.doi.org/10.1007/3-540-49201-1
work_keys_str_mv AT guptagopaleditor practicalaspectsofdeclarativelanguageselectronicresourcefirstinternationalworkshoppadl99sanantoniotexasusajanuary18191999proceedings
AT springerlinkonlineservice practicalaspectsofdeclarativelanguageselectronicresourcefirstinternationalworkshoppadl99sanantoniotexasusajanuary18191999proceedings
_version_ 1756268678571098112
spelling KOHA-OAI-TEST:2095802018-07-30T23:41:07ZPractical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings / Gupta, Gopal. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1998.engDeclarative 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.Software Engineering -- Automated Benchmarking of Functional Data Structures -- np-spec: An Executable Specification Language for Solving All Problems in NP -- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program -- Multi-agent Systems Development as a Software Engineering Enterprise -- Innovative Applications I -- From Functional Animation to Sprite-Based Display -- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators -- Lambda in Motion: Controlling Robots with Haskell -- Implementation -- CHAT: The Copy-Hybrid Approach to Tabling -- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems -- Or-Parallelism within Tabling -- Declarative Query Processing -- Mnesia — A Distributed Robust DBMS for Telecommunications Applications -- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language -- Implementing a Declarative String Query Language with String Restructuring -- Systems Applications -- Client-Side Web Scripting with HaskellScript -- MCORBA: A CORBA Binding for Mercury -- Analysis -- Dead Code Elimination through Dependent Types -- Multiple Specialization of WAM Code -- A Flexible Framework for Dynamic and Static Slicing of Logic Programs -- Innovative Applications II -- Applying Logic Programming to Derive Novel Functional Information of Genomes -- An Application of Action Theory to the Space Shuttle -- Developing a Declarative Rule Language for Applications in Product Configuration -- Constraint Programming -- University Timetabling Using Constraint Logic Programming -- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing -- Using Constraints in Local Proofs for CLP Debugging -- Declarative Languages and Software Engineering (Invited) -- A Return to Elegance: The Reapplication of Declarative Notation to Software Design -- ECLiPSe: Declarative Specification and Scaleable Implementation.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.Computer science.Software engineering.Programming languages (Electronic computers).Computer logic.Artificial intelligence.Computer Science.Programming Languages, Compilers, Interpreters.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Artificial Intelligence (incl. Robotics).Springer eBookshttp://dx.doi.org/10.1007/3-540-49201-1URN:ISBN:9783540492016