↓ 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 Automated Benchmarking of Functional Data Structures
  3. Altmetric Badge
    Chapter 2 np-spec : An Executable Specification Language for Solving All Problems in NP
  4. Altmetric Badge
    Chapter 3 Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program
  5. Altmetric Badge
    Chapter 4 Multi-agent Systems Development as a Software Engineering Enterprise
  6. Altmetric Badge
    Chapter 5 From Functional Animation to Sprite-Based Display
  7. Altmetric Badge
    Chapter 6 Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
  8. Altmetric Badge
    Chapter 7 Lambda in Motion: Controlling Robots with Haskell
  9. Altmetric Badge
    Chapter 8 CHAT: The Copy-Hybrid Approach to Tabling
  10. Altmetric Badge
    Chapter 9 The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems
  11. Altmetric Badge
    Chapter 10 Or-Parallelism within Tabling
  12. Altmetric Badge
    Chapter 11 Mnesia — A Distributed Robust DBMS for Telecommunications Applications
  13. Altmetric Badge
    Chapter 12 An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
  14. Altmetric Badge
    Chapter 13 Implementing a Declarative String Query Language with String Restructuring
  15. Altmetric Badge
    Chapter 14 Client-Side Web Scripting with HaskellScript
  16. Altmetric Badge
    Chapter 15 MCORBA: A CORBA Binding for Mercury
  17. Altmetric Badge
    Chapter 16 Dead Code Elimination through Dependent Types
  18. Altmetric Badge
    Chapter 17 Multiple Specialization of WAM Code
  19. Altmetric Badge
    Chapter 18 A Flexible Framework for Dynamic and Static Slicing of Logic Programs
  20. Altmetric Badge
    Chapter 19 Applying Logic Programming to Derive Novel Functional Information of Genomes
  21. Altmetric Badge
    Chapter 20 An Application of Action Theory to the Space Shuttle
  22. Altmetric Badge
    Chapter 21 Developing a Declarative Rule Language for Applications in Product Configuration
  23. Altmetric Badge
    Chapter 22 University Timetabling Using Constraint Logic Programming
  24. Altmetric Badge
    Chapter 23 Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing
  25. Altmetric Badge
    Chapter 24 Using Constraints in Local Proofs for CLP Debugging
  26. Altmetric Badge
    Chapter 25 A Return to Elegance: The Reapplication of Declarative Notation to Software Design
  27. Altmetric Badge
    Chapter 26 ECLiPSe: Declarative Specification and Scaleable Implementation
Attention for Chapter 20: An Application of Action Theory to the Space Shuttle
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
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.
Chapter title
An Application of Action Theory to the Space Shuttle
Chapter number 20
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Berlin, Heidelberg, January 1999
DOI 10.1007/3-540-49201-1_20
Book ISBNs
978-3-54-065527-5, 978-3-54-049201-6
Authors

Richard Watson

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%