Search results

From MaRDI portal

  • Finite integer computations: An algebraic foundation for their correctness
    representation sizesfinite integer and residue class arithmeticJava and C arithmeticJava Card bytecode optimization Mathematics Subject Classification ID Theory of programming...
    15 bytes (192 words) - 23:04, 2 February 2024
  • Certified abstract cost analysis
    Automatic verification of Java programs with dynamic frames Mechanical program analysis Magic-sets for localised analysis of Java bytecode Amortized resource...
    15 bytes (337 words) - 20:27, 1 February 2024
Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:Search"
Powered by MediaWiki