Cover Image

Practical Aspects of Declarative Languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /

Show other versions (1)

"Declarative languages have traditionally been regarded by the mainstream computing community as too impractical to be put to practical use. At the same time, traditional conferences devoted to declarative languages do not have issues related to practice as their central focus. Thus, there are...

Full description

Bibliographic Details
Corporate Authors: PADL '99 San Antonio, Tex., SpringerLink (Online service)
Other Authors: Gupta, Gopal (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, [1999]
Series:Lecture notes in computer science ; 1551.
Subjects:
Programming languages (Electronic computers) > Semantics > Congresses.
Programmeertalen.
Programming languages (Electronic computers) > Semantics.
Electronic books.
Congressen (vorm)
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Software Engineering
  • Automated Benchmarking of Functional Data Structures / G.E. Moss and C. Runciman
  • np-spec: An Executable Specification Language for Solving All Problems in NP / M. Cadoli, L. Palopoli, A. Schaerf, and D. Vasile
  • Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program / P. Letelier, P. Sánchez, and I. Ramos
  • Multi-agent Systems Development as a Software Engineering Enterprise / M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini
  • Innovative Applications I
  • From Functional Animation to Sprite-Based Display / C. Elliott
  • Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators / W. Kahl
  • Lambda in Motion: Controlling Robots with Haskell / J. Peterson, P. Hudak, and C. Elliott
  • Implementation
  • CHAT: The Copy-Hybrid Approach to Tabling / B. Demoen and K. Sagonas
  • The Influence of Parallel Computer Architectural Parameters on the Performance of Parallel Logic Programming Systems / M.G. Silva, I.C. Dutra, R. Bianchini, and V. Santos Costa
  • Or-Parallelism within Tabling / R. Rocha, F. Silva, and V. Santos Costa
  • Declarative Query Processing
  • Mnesia--A Distributed Robust DBMS for Telecommunications Applications / H. Mattsson, H. Nilsson, and C. Wikström
  • An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language / B. Siddabathuni, S.W. Dietrich, and S.D. Urban
  • Implementing a Declarative String Query Language with String Restructuring / R. Hakli, M. Nykänen, H. Tamm, and E. Ukkonen
  • Systems Applications
  • Client-Side Web Scripting with HaskellScript / E. Meijer, D. Leijen, and J. Hook
  • MCORBA: A CORBA Binding for Mercury / D. Jeffery, T. Dowd, and Z. Somogyi
  • Analysis
  • Dead Code Elimination through Dependent Types / H. Xi
  • Multiple Specialization of WAM Code / M. Ferriera and L. Damas
  • A Flexible Framework for Dynamic and Static Slicing of Logic Programs / W.W. Vasconcelos
  • Innovative Applications II
  • Applying Logic Programming to Derive Novel Functional Information of Genomes / A.K. Bansal and P. Bork
  • An Application of Action Theory to the Space Shuttle / R. Watson
  • Developing a Declarative Rule Language for Applications in Product Configuration / T. Soininen and I. Niemelä
  • Constraint Programming
  • University Timetabling Using Constraint Logic Programming / H-J. Goltz and D. Matzke
  • Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing / M. Carlsson, P. Kreuger, and E. Åström
  • Using Constraints in Local Proofs for CLP Debugging / C. Laï
  • Declarative Languages and Software Engineering (Invited)
  • A Return to Elegance: The Reapplication of Declarative Notation to Software Design / D.A. Schmidt
  • ECLiPSe : Declarative Specification and Scaleable Implementation / M. Wallace and J. Schimpf.