A Transformational Approach to Resource Analysis with Typed-norms Inference.

Saved in:

Bibliographic Details
Title:	A Transformational Approach to Resource Analysis with Typed-norms Inference.
Authors:	ALBERT, ELVIRA¹ (AUTHOR) elvira@fdi.ucm.es, GENAIM, SAMIR¹ (AUTHOR) samir.genaim@fdi.ucm.es, GUTIÉRREZ, RAÚL² (AUTHOR) rgutierrez@dsic.upv.es, MARTIN-MARTIN, ENRIQUE¹ (AUTHOR) emartinm@ucm.es
Source:	Theory & Practice of Logic Programming. May2020, Vol. 20 Issue 3, p310-357. 48p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068419000401