Amanote Research
Register
Sign In
A Guess-And-Assume Approach to Loop Fusion for Program Verification
doi 10.1145/3162070
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Akifumi Imanishi
Kohei Suenaga
Atsushi Igarashi
Publisher
ACM Press
Related search
A Unified Approach of Program Verification
Acta Universitatis Sapientiae, Informatica
A Unified Approach to Authorship Attribution and Verification
American Statistician
Mathematics
Statistics
Uncertainty
Probability
Offline Signature Verification: An Approach Based on Score Level Fusion
International Journal of Computer Applications
A Metric for Testing Program Verification Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Searching for a Solution to Program Verification=Equation Solving in CCS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
A General Approach to Deadlock Freedom Verification for Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Fusion Approach for Signature Recognition
International Journal of Computer and Electrical Engineering
Iterative Collective Loop Fusion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science