Search Results - "Memory"

Refine Results
  1. 4561
  2. 4562
  3. 4563
  4. 4564
  5. 4565
  6. 4566
  7. 4567
  8. 4568
  9. 4569
  10. 4570
  11. 4571
  12. 4572
  13. 4573
  14. 4574
  15. 4575
  16. 4576
  17. 4577

    Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

    Published 2018
    Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
    Link to Metadata
    Electronic eBook
  18. 4578
  19. 4579
  20. 4580