Automatic Source Code Reduction

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10078002" target="_blank" >RIV/00216208:11320/10:10078002 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Automatic Source Code Reduction
Original language description
The aim of this paper is to introduce Reductor, a program that automatically removes unused parts of the source code of valid programs written in the Mercury language. Reductor implements two main kinds of reductions: statical reduction and dynamical reduction. In the statical reduction, Reductor exploits semantic analysis of the Melbourne Mercury Compiler to nd routines which can be removed from the program. Dynamical reduction of routines additionally uses Mercury Deep Profiler and some sample input data for the program to remove unused contents of the program routines. Reductor modifies the sources of the program in a way, which keeps the formatting of the original program source so that the reduced code is further editable.
Czech name
—
Czech description
—

Project
<a href="/en/project/7E09003" target="_blank" >7E09003: EuroMatrixPlus?Bringing Machine Translation for European Languages to the User</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Information Technologies - Applications and Theory
ISBN
978-80-970179-4-1
ISSN
1613-0073
e-ISSN
—
Number of pages
8
Pages from-to
—
Publisher name
PONT s. r. o.
Place of publication
Seňa, Slovakia
Event location
Smrekovica, Slovakia
Event date
Sep 21, 2010
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)