Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings - Softcover

Softcover

ISBN 10: 3662207559 ISBN 13: 9783662207550

Publisher: Springer, 2014

Synopsis

Invited Talks.- Using a Declarative Language to Build an Experimental Analysis Tool.- How to Talk to Your Computer so that It Will Listen.- Single-Threaded Objects in ACL2.- Regular Papers.- Modeling Engineering Structures with Constrained Objects.- Compiler Construction in Higher Order Logic Programming.- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project.- Semantics-Based Filtering: Logic Programming's Killer App.- Linear Scan Register Allocation in a High-Performance Erlang Compiler.- Compiling Embedded Programs to Byte Code.- Typed Combinators for Generic Traversal.- Event-Driven FRP.- Adding Apples and Oranges.- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.- A Better XML Parser through Functional Programming.- Functional Approach to Texture Generation.- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.- A High-Level Generic Interface to External Programming Languages for ECLiPSe.- A Debugging Scheme for Declarative Equation Based Modeling Languages.- Segment Order Preserving and Generational Garbage Collection for Prolog.- Exploiting E.cient Control and Data Structures in Logic Programs.- Suspending and Resuming Computations in Engines for SLG Evaluation.

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 3662207559
• ISBN 13: 9783662207550
• Binding: Paperback
• Number of pages: 364
• Editor: Krishnamurthi Shriram, Ramakrishnan C.R.