[ Skip to the content ]

Institute of Formal and Applied Linguistics

at Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic

[ Back to the navigation ]


Year 2010
Type in proceedings
Status published
Language English
Author(s) Diviš, Jiří Bojar, Ondřej
Title Automatic Source Code Reduction
Czech title Automatická redukce zdrojových kódů
Proceedings 2010: Seňa, Slovakia: ITAT 2010 - CEUR: Information Technologies – Applications and Theory
Pages range 9-16
Supported by 2009-2012 FP7-ICT-2007-3-231720 (EuroMatrix Plus) 2009-2012 7E09003 (EuroMatrixPlus – Bringing Machine Translation for European Languages to the User) 2005-2010 MSM 0021620838 (Moderní metody, struktury a systémy informatiky)
Czech abstract Příspěvek popisuje Reduktor, program, který automaticky odstraní nepoužívané části zdrojových kódů v jazyce Mercury.
English abstract 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.
Specialization linguistics ("jazykověda")
Confidentiality default – not confidential
Open access no
Editor(s)* Dana Pardubská
ISBN* 978-80-970179-4-1
ISSN* 1613-0073
Address* Seňa, Slovakia
Month* September
Publisher* PONT s. r. o.
Institution* Univerzita Pavla Jozefa Šafárika v Košiciach
Creator: Common Account
Created: 9/24/10 1:15 PM
Modifier: Almighty Admin
Modified: 2/3/11 11:02 AM

Content, Design & Functionality: ÚFAL, 2006–2018. Page generated: Wed Jan 16 04:03:37 CET 2019

[ Back to the navigation ] [ Back to the content ]

100% OpenAIRE compliant