JAMPACK

swMATH9723MaRDI QIDQ21702FDOQ21702

Author name not available (Why is that?)

Cited In (4)

• Automatic translation of Fortran to JVM bytecode
• ABC: Algebraic Bound Computation for Loops
• A method of obtaining verified solutions for linear systems suited for Java
• Invariant and Type Inference for Matrices

This page was built for software: JAMPACK