↓ Skip to main content

Practical Aspects of Declarative Languages

Overview of attention for book
Cover of 'Practical Aspects of Declarative Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Using a Declarative Language to Build an Experimental Analysis Tool
  3. Altmetric Badge
    Chapter 2 How to Talk to Your Computer so that It Will Listen
  4. Altmetric Badge
    Chapter 3 Single-Threaded Objects in ACL2
  5. Altmetric Badge
    Chapter 4 Modeling Engineering Structures with Constrained Objects
  6. Altmetric Badge
    Chapter 5 Compiler Construction in Higher Order Logic Programming
  7. Altmetric Badge
    Chapter 6 Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project
  8. Altmetric Badge
    Chapter 7 Semantics-Based Filtering: Logic Programming’s Killer App
  9. Altmetric Badge
    Chapter 8 Linear Scan Register Allocation in a High-Performance Erlang Compiler
  10. Altmetric Badge
    Chapter 9 Compiling Embedded Programs to Byte Code
  11. Altmetric Badge
    Chapter 10 Typed Combinators for Generic Traversal
  12. Altmetric Badge
    Chapter 11 Event-Driven FRP
  13. Altmetric Badge
    Chapter 12 Adding Apples and Oranges
  14. Altmetric Badge
    Chapter 13 WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
  15. Altmetric Badge
    Chapter 14 A Better XML Parser through Functional Programming
  16. Altmetric Badge
    Chapter 15 Functional Approach to Texture Generation
  17. Altmetric Badge
    Chapter 16 Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
  18. Altmetric Badge
    Chapter 17 A High-Level Generic Interface to External Programming Languages for ECLiPSe
  19. Altmetric Badge
    Chapter 18 A Debugging Scheme for Declarative Equation Based Modeling Languages
  20. Altmetric Badge
    Chapter 19 Segment Order Preserving and Generational Garbage Collection for Prolog
  21. Altmetric Badge
    Chapter 20 Exploiting E.cient Control and Data Structures in Logic Programs
  22. Altmetric Badge
    Chapter 21 Suspending and Resuming Computations in Engines for SLG Evaluation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages
q&a
1 Q&A thread

Citations

dimensions_citation
2 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Practical Aspects of Declarative Languages
Published by
Springer Science & Business Media, January 2002
DOI 10.1007/3-540-45587-6
ISBNs
978-3-54-043092-6, 978-3-54-045587-5
Editors

Krishnamurthi, Shriram, Ramakrishnan, C. R.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.