A Transformational Approach to Resource Analysis with Typed-Norms

DOI10.1007/978-3-319-14125-1_3zbMath1453.68041arXiv1908.02078OpenAlexW633634793MaRDI QIDQ3453647

Raúl Gutiérrez, Samir Genaim, Elvira Albert

Publication date: 30 November 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.02078

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automatic synthesis of logical models for order-sorted first-order theories ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference

Uses Software

• QuickCheck
• ABS

Cites Work

• Unnamed Item
• Unnamed Item
• Mechanical program analysis
• Implementation of Functional Languages

This page was built for publication: A Transformational Approach to Resource Analysis with Typed-Norms