EigenCFA

DOI10.1145/1926385.1926445zbMath1284.68195OpenAlexW4231586329MaRDI QIDQ5408570

No author found.

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926445

zbMATH Keywords

program analysislambda calculusmatrixabstract interpretationGPUflow analysisCPSEigenCFA

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Distributed and Predictable Software Model Checking ⋮ EigenCFA

Uses Software

• CUDA
• PETSc

This page was built for publication: EigenCFA