↓ Skip to main content

Programming Language Implementation and Logic Programming

Overview of attention for book
Cover of 'Programming Language Implementation and Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 83 Standard ML of New Jersey
  3. Altmetric Badge
    Chapter 84 Adding equations to NU-Prolog
  4. Altmetric Badge
    Chapter 85 Extraction of functional from logic program
  5. Altmetric Badge
    Chapter 86 The MAS specification component
  6. Altmetric Badge
    Chapter 87 Domesticating imperative constructs so that they can live in a functional world
  7. Altmetric Badge
    Chapter 88 Logic-based specification of visibility rules
  8. Altmetric Badge
    Chapter 89 Optimal instruction scheduling using constraint logic programming
  9. Altmetric Badge
    Chapter 90 An architectural model for OR-parallellism on distributed memory systems
  10. Altmetric Badge
    Chapter 91 FRATS: A parallel reduction strategy for shared memory
  11. Altmetric Badge
    Chapter 92 Narrowing as an incremental constraint satisfaction algorithm
  12. Altmetric Badge
    Chapter 93 The implementation of lazy narrowing
  13. Altmetric Badge
    Chapter 94 Semantics-directed generation of a Prolog compiler
  14. Altmetric Badge
    Chapter 95 A framework to specify database update views for Prolog
  15. Altmetric Badge
    Chapter 96 Concepts for a modular and distributed Prolog language
  16. Altmetric Badge
    Chapter 97 From parlog to polka in two easy steps
  17. Altmetric Badge
    Chapter 98 Precedences in specifications and implementations of programming languages
  18. Altmetric Badge
    Chapter 99 A randomized heuristic approach to register allocation
  19. Altmetric Badge
    Chapter 100 Generating efficient code from data-flow programs
  20. Altmetric Badge
    Chapter 101 On the borderline between grammars and programs
  21. Altmetric Badge
    Chapter 102 Efficient incremental evaluation of higher order attribute grammars
  22. Altmetric Badge
    Chapter 103 Profit: A system integrating logic programming and attribute grammars
  23. Altmetric Badge
    Chapter 104 Towards a meaning of LIFE
  24. Altmetric Badge
    Chapter 105 U-log, an ordered sorted logic with typed attributes
  25. Altmetric Badge
    Chapter 106 Compilation of predicate abstractions in higher-order logic programming
  26. Altmetric Badge
    Chapter 107 Abstract interpretation: A kind of magic
  27. Altmetric Badge
    Chapter 108 Abstract interpretation for type checking
  28. Altmetric Badge
    Chapter 109 A technique for recursive invariance detection and selective program specialization
  29. Altmetric Badge
    Chapter 110 Dynamic detection of determinism in functional logic languages
  30. Altmetric Badge
    Chapter 111 Unfolding — definition — folding, in this order, for avoiding unnecessary variables in logic programs
  31. Altmetric Badge
    Chapter 112 Efficient integration of simplification into Prolog
  32. Altmetric Badge
    Chapter 113 Lazy evaluation in logic
  33. Altmetric Badge
    Chapter 114 S-SLD-resolution — An operational semantics for logic programs with external procedures
  34. Altmetric Badge
    Chapter 115 Operational semantics of constraint logic programming over finite domains
  35. Altmetric Badge
    Chapter 116 Constraints for synchronizing coarse-grained sequential logic processes
  36. Altmetric Badge
    Chapter 117 Extending execution trees for debugging and animation in logic programming
  37. Altmetric Badge
    Chapter 118 A narrowing-based theorem prover
  38. Altmetric Badge
    Chapter 119 The ALF system
  39. Altmetric Badge
    Chapter 120 Experiences with gentle: Efficient compiler construction based on logic programming
  40. Altmetric Badge
    Chapter 121 The system FLR ( Fast laboratory for recomposition )
  41. Altmetric Badge
    Chapter 122 Multilanguage interoperability
  42. Altmetric Badge
    Chapter 123 Short overview of the CLPS system
Attention for Chapter 83: Standard ML of New Jersey
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
23 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
Standard ML of New Jersey
Chapter number 83
Book title
Programming Language Implementation and Logic Programming
Published by
Springer, Berlin, Heidelberg, August 1991
DOI 10.1007/3-540-54444-5_83
Book ISBNs
978-3-54-054444-9, 978-3-54-038362-8
Authors

Andrew W. Appel, David B. MacQueen, Appel, Andrew W., MacQueen, David B.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 2 9%
United States 2 9%
Japan 1 4%
Unknown 18 78%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 17%
Student > Master 4 17%
Student > Bachelor 3 13%
Professor > Associate Professor 3 13%
Other 2 9%
Other 4 17%
Unknown 3 13%
Readers by discipline Count As %
Computer Science 17 74%
Mathematics 1 4%
Arts and Humanities 1 4%
Unknown 4 17%