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

Programming Languages and Systems — ESOP '96

Overview of attention for book
Cover of 'Programming Languages and Systems — ESOP '96'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 26 Some practical problems and their influence on semantics
  3. Altmetric Badge
    Chapter 27 Compiling Haskell by program transformation: A report from the trenches
  4. Altmetric Badge
    Chapter 28 Narrowing-driven partial evaluation of functional logic programs
  5. Altmetric Badge
    Chapter 29 A multiple-valued logical semantics for Prolog
  6. Altmetric Badge
    Chapter 30 Removing value encoding using alternative values in partial evaluation of strongly-typed languages
  7. Altmetric Badge
    Chapter 31 A complete transformational toolkit for compilers
  8. Altmetric Badge
    Chapter 32 Global analysis of standard Prolog programs
  9. Altmetric Badge
    Chapter 33 Static detection of pointer errors: An axiomatisation and a checking algorithm
  10. Altmetric Badge
    Chapter 34 Compositional optimization of disjunctive abstract interpretations
  11. Altmetric Badge
    Chapter 35 A rewriting logic for declarative programming
  12. Altmetric Badge
    Chapter 36 Durations for truly-concurrent transitions
  13. Altmetric Badge
    Chapter 37 Flow analysis in the Geometry of Interaction
  14. Altmetric Badge
    Chapter 38 Parametricity and unboxing with unpointed types
  15. Altmetric Badge
    Chapter 39 Modular denotational semantics for compiler construction
  16. Altmetric Badge
    Chapter 40 Compositional semantics of non-deterministic synchronous languages
  17. Altmetric Badge
    Chapter 41 Checking system properties via integer programming
  18. Altmetric Badge
    Chapter 42 Efficient minimization up to location equivalence
  19. Altmetric Badge
    Chapter 43 A new approach to compiling adaptive programs
  20. Altmetric Badge
    Chapter 44 Mode and termination checking for higher-order logic programs
  21. Altmetric Badge
    Chapter 45 Linear time hierarchies for a functional language machine model
  22. Altmetric Badge
    Chapter 46 Integer constraints to stop deforestation
  23. Altmetric Badge
    Chapter 47 Towards an ML-style polymorphic type system for C
  24. Altmetric Badge
    Chapter 48 Assumption/commitment rules for dataflow networks — with an emphasis on completeness
  25. Altmetric Badge
    Chapter 49 Towards an expressive language for PDE solvers
  26. Altmetric Badge
    Chapter 50 Rewrite systems with abstraction and β-rule: Types, approximants and normalization
Attention for Chapter 40: Compositional semantics of non-deterministic synchronous languages
Altmetric Badge

Citations

dimensions_citation
33 Dimensions

Readers on

mendeley
1 Mendeley
Summary 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
Compositional semantics of non-deterministic synchronous languages
Chapter number 40
Book title
Programming Languages and Systems — ESOP '96
Published by
Springer, Berlin, Heidelberg, April 1996
DOI 10.1007/3-540-61055-3_40
Book ISBNs
978-3-54-061055-7, 978-3-54-049942-8
Authors

F. Maraninchi, N. Halbwachs

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.