This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://purl.org/net/nknouf/ns/bibtex#
n12http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/ontology/domain/vavai/
n14https://schema.org/
n22http://linked.opendata.cz/resource/domain/vavai/zamer/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F10%3A10078002%21RIV11-MSM-11320___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F10%3A10078002%21RIV11-MSM-11320___
rdf:type
skos:Concept n21:Vysledek
dcterms: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. 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.
dcterms:title
Automatic Source Code Reduction Automatic Source Code Reduction
skos:prefLabel
Automatic Source Code Reduction Automatic Source Code Reduction
skos:notation
RIV/00216208:11320/10:10078002!RIV11-MSM-11320___
n3:aktivita
n13:Z n13:P
n3:aktivity
P(7E09003), Z(MSM0021620838)
n3:dodaniDat
n4:2011
n3:domaciTvurceVysledku
n6:5764920 n6:2630176
n3:druhVysledku
n18:D
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
248203
n3:idVysledku
RIV/00216208:11320/10:10078002
n3:jazykVysledku
n16:eng
n3:klicovaSlova
reduction; code; source; automatic
n3:klicoveSlovo
n11:source n11:automatic n11:code n11:reduction
n3:kontrolniKodProRIV
[4EEBD89D3EFA]
n3:mistoKonaniAkce
Smrekovica, Slovakia
n3:mistoVydani
Seňa, Slovakia
n3:nazevZdroje
Information Technologies - Applications and Theory
n3:obor
n19:AI
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n15:7E09003
n3:rokUplatneniVysledku
n4:2010
n3:tvurceVysledku
Bojar, Ondřej Diviš, Jiří
n3:typAkce
n20:CST
n3:zahajeniAkce
2010-09-21+02:00
n3:zamer
n22:MSM0021620838
s:issn
1613-0073
s:numberOfPages
8
n17:hasPublisher
PONT s. r. o.
n14:isbn
978-80-970179-4-1
n12:organizacniJednotka
11320