Skip to main navigation
Skip to search
Skip to main content
University of Eastern Piedmont Home
Italiano
English
Search content at University of Eastern Piedmont
Home
Profiles
Research units
Equipment
Projects
Research output
Automatic useless-code elimination for HOT functional programs
Ferruccio Damiani
,
Paola Giannini
Department of Sustainable Development and Ecological Transition
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Automatic useless-code elimination for HOT functional programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Type Inference
100%
Functional Program
100%
Inference System
66%
Main Application
33%
High-order
33%
Elimination Algorithm
33%
Logical Frameworks
33%
Program Transformation
33%
Constraint System
33%
Computer Science
Type Inference
100%
Functional Program
100%
Useless Code Elimination
100%
Inference System
66%
Program Transformation
33%
Logical Framework
33%