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

Brossura

ISBN 10: 3662207559 ISBN 13: 9783662207550

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662207559
• ISBN 13: 9783662207550
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile