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

Programming Languages

Overview of attention for book
Cover of 'Programming Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
  3. Altmetric Badge
    Chapter 2 JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems
  4. Altmetric Badge
    Chapter 3 A Monadic Semantics for Quantum Computing in Featherweight Java
  5. Altmetric Badge
    Chapter 4 Memoized Zipper-Based Attribute Grammars
  6. Altmetric Badge
    Chapter 5 Purely Functional Incremental Computing
  7. Altmetric Badge
    Chapter 6 Automatic Annotating and Checking of Dynamic Ownership
  8. Altmetric Badge
    Chapter 7 Certified Derivative-Based Parsing of Regular Expressions
  9. Altmetric Badge
    Chapter 8 Concurrent Hash Tables for Haskell
  10. Altmetric Badge
    Chapter 9 Optional Type Classes for Haskell
  11. Altmetric Badge
    Chapter 10 An Algebraic Framework for Parallelizing Recurrence in Functional Programming
  12. Altmetric Badge
    Chapter 11 A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications
  13. Altmetric Badge
    Chapter 12 Comparison Between Model Fields and Abstract Predicates
  14. Altmetric Badge
    Chapter 13 Erratum to: A Monadic Semantics for Quantum Computing in Featherweight Java
Attention for Chapter 12: Comparison Between Model Fields and Abstract Predicates
Altmetric Badge
Summary
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
Comparison Between Model Fields and Abstract Predicates
Chapter number 12
Book title
Programming Languages
Published by
Springer, Cham, September 2016
DOI 10.1007/978-3-319-45279-1_12
Book ISBNs
978-3-31-945278-4, 978-3-31-945279-1
Authors

Ke Zhang, Zongyan Qiu, Zhang, Ke, Qiu, Zongyan

View on publisher site

This page is provided by Altmetric.