Farms, Pipes, Streams and Reforestation: Reasoning About Structured Parallel Processes Using Types and Hylomorphisms

ACM SIGPLAN Notices - United States
doi 10.1145/3022670.2951920
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums

2014English

Condition Assessment of Buried Pipes Using Hierarchical Evidential Reasoning Model

Journal of Computing in Civil Engineering
CivilComputer Science ApplicationsStructural Engineering
2008English

Flow in Pipes and Between Parallel Planes

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
1937English

Reasoning About Skills and Competencies

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Reasoning About Loops Using Vampire in KeY

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Learning and Reasoning About Interruption

2003English

Reasoning About Secure Interoperation Using Soft Constraints

English

Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE
Multidisciplinary
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy