↓ Skip to main content
What is this page? Embed badge

Functional and Logic Programming

Overview of attention for book
Cover of 'Functional and Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Metalanguage λprolog and Its Implementation
  3. Altmetric Badge
    Chapter 2 A Scalable Architecture for Proof-Carrying Code
  4. Altmetric Badge
    Chapter 3 Parameterized Logic Programs where Computing Meets Learning
  5. Altmetric Badge
    Chapter 4 Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
  6. Altmetric Badge
    Chapter 5 A Higher-Order Colon Translation
  7. Altmetric Badge
    Chapter 6 Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
  8. Altmetric Badge
    Chapter 7 A Higher-Order Logic Programming Language with Constraints
  9. Altmetric Badge
    Chapter 8 Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λProlog ‐ A Case-study ‐
  10. Altmetric Badge
    Chapter 9 An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
  11. Altmetric Badge
    Chapter 10 A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
  12. Altmetric Badge
    Chapter 11 Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
  13. Altmetric Badge
    Chapter 12 Adding Linear Constraints over Real Numbers to Curry
  14. Altmetric Badge
    Chapter 13 A Complete Selection Function for Lazy Conditional Narrowing
  15. Altmetric Badge
    Chapter 14 An Abstract Machine Based System for a Lazy Narrowing Calculus
  16. Altmetric Badge
    Chapter 15 Incremental Learning of Functional Logic Programs
  17. Altmetric Badge
    Chapter 16 A General Type Inference Framework for Hindley/Milner Style Systems
  18. Altmetric Badge
    Chapter 17 Monadic Encapsulation with Stack of Regions
  19. Altmetric Badge
    Chapter 18 Well-Typed Logic Programs Are not Wrong
  20. Altmetric Badge
    Chapter 19 A Framework for Analysis of Typed Logic Programs
  21. Altmetric Badge
    Chapter 20 Abstract Compilation for Sharing Analysis
  22. Altmetric Badge
    Chapter 21 A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
  23. Altmetric Badge
    Chapter 22 A Simple Take on Typed Abstract Syntax in Haskell-like Languages
  24. Altmetric Badge
    Chapter 23 A simply typed context calculus with first-class environments
  25. Altmetric Badge
    Chapter 24 Refining the Barendregt Cube using Parameters
Attention for Chapter 6: Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
15 Mendeley
Summary X Dimensions citations
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
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
Chapter number 6
Book title
Functional and Logic Programming
Published in
Lecture notes in computer science, March 2001
DOI 10.1007/3-540-44716-4_6
Book ISBNs
978-3-54-041739-2, 978-3-54-044716-0
Authors

Kwanghoon Choi, Hyun-il Lim, Taisook Han

View on publisher site
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.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 2 13%
Unknown 13 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 33%
Other 3 20%
Student > Bachelor 2 13%
Student > Master 2 13%
Researcher 2 13%
Other 1 7%
Readers by discipline Count As %
Computer Science 13 87%
Mathematics 1 7%
Economics, Econometrics and Finance 1 7%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 16 January 2014.
All research outputs
#15,290,667
of 22,739,983 outputs
Outputs from Lecture notes in computer science
#4,648
of 8,126 outputs
Outputs of similar age
#36,668
of 39,970 outputs
Outputs of similar age from Lecture notes in computer science
#7
of 10 outputs
Altmetric has tracked 22,739,983 research outputs across all sources so far. This one is in the 22nd percentile – i.e., 22% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 27th percentile – i.e., 27% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 39,970 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 4th percentile – i.e., 4% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 10 others from the same source and published within six weeks on either side of this one. This one has scored higher than 3 of them.

This page is provided by Altmetric.