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

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 3662207559
• ISBN 13: 9783662207550
• Einband: Paperback
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar