Amanote Research
Register
Sign In
Towards Verification via Supercompilation
doi 10.1109/compsac.2005.159
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2005
Authors
A. Lisitsa
A. Nemytykh
Publisher
IEEE
Related search
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Living Face Verification via Multi-CNNs
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Towards the Verification of Hybrid Co-Simulation Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Self-Verification in Finite Difference Code Generation
Towards Automated fUML Model Verification With Petri Nets
Towards a Verification Framework for Communicating Rational Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards the Automation of Product Geometric Verification: An Overview
Computer-Aided Design and Applications
Computational Mechanics
Computational Mathematics
Computer Graphics
Computer-Aided Design
Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Backlash Control via Redundant Drives: An Experimental Verification
Journal of Mechanical Design, Transactions Of the ASME
Computer Science Applications
Mechanics of Materials
Computer Graphics
Computer-Aided Design
Mechanical Engineering
