Wyniki wyszukiwania - BazTech

1

Revisiting the Futamura Projections: A Diagrammatic Approach

Williams B. M., Perugini S.

Theoretical and Applied Informatics

|

2016

|

Vol. 28, No. 4

15--32

EN

The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.

2

Compile the Hypothesis Space: Do it Once, Use it Often

Fonseca N.A., Camacho R., Rocha R., Costa V.S.

Fundamenta Informaticae

|

2008

|

Vol. 89, nr 1

45-67

EN

Inductive Logic Programming (ILP) is a powerful and well-developed abstraction for multi-relational data mining techniques. Despite the considerable success of ILP, deployed ILP systems still have efficiency problems when applied to complex problems. In this paper we propose a novel technique that avoids the procedure of deducing each example to evaluate each constructed clause. The technique is based on the Mode Directed Inverse Entailment approach to ILP, where a bottom clause is generated for each example and the generated clauses are subsets of the literals of such bottom clause. We propose to store in a prefix-tree all clauses that can be generated from all bottom clauses together with some extra information. We show that this information is sufficient to estimate the number of examples that can be deduced froma clause and present an ILP algorithmthat exploits this representation. We also present an extension of the algorithm where each prefix-tree is computed only once (compiled) per example. The evaluation of hypotheses requires only basic and efficient operations on trees. This proposal avoids re-computation of hypothesis’ value in theorylevel search, in cross-validation evaluation procedures and in parameter tuning. Both proposals are empirically evaluated on real applications and considerable speedups were observed.

3

Kompilator języka QCL - QCL2QML1

Gawron P., Miszczak J., Winiarczyk R., Wycisk P.

Studia Informatica

|

2007

|

Vol. 28, nr 4

5-18

PL

W artykule przedstawiony jest kompilator proceduralnego języka Quantum Computation Language do języka sekwencyjnego Quantum Markup Lan-guage. Wadą języka QML jest jego słaba skalowalność. Wykorzystanie wysokopozio-mowego języka QCL rozwiązuje ten problem poprzez wprowadzenie elementów proceduralnego paradygmatu programowania. Umożliwia to wielokrotne wykorzystanie kodu do podobnych problemów o różnych rozmiarach.

EN

Article presents compiler which takes code written in procedural Quantum Computation Language as the input and produces sequential Quantum Markup Language code. The disadvantage of QML language is its Iow scalability. Usage of high-level language such as QCL solves this problem by introducing elements of procedural programming paradigm. It allows code reusability to solve similar problems of different size.

4

Wzorce projektowe w konstrukcji narzędzi przetwarzania kodu źródłowego

Forczek M., Bartela K., Szmal P.

Prace Naukowe Instytutu Informatyki Stosowanej Politechniki Wrocławskiej. Konferencje

|

2007

371-384

PL

Przedstawione w artykule wzorce projektowe definiują konstrukcję modułów front-end'u taką aby mogły one być wykorzystane w większej liczbie zastosowali związanych z przetwarzaniem kodu źródłowego. Wzorce pomagają uzyskać modularną implementację, pozwalającą na wygodne składanie ścieżki przetwarzania ze skompilowanych bibliotek dynamicznych. Pozwalają oddzielić bloki przetwarzania wstępnego od bloku semantyki. Ich stosowanie daje też korzyści w procesie produkcyjnym samych narzędzi - poprawia architekturę ich konstrukcji, wymusza wyodrębnienie wewnętrznych interfejsów pomiędzy blokami funkcjonalnymi, które stanowią następnie ważne elementy dokumentacji technicznej narzędzia. Wzorce z powodzeniem zastosowano w kilku projektach - zarówno komercyjnych jak i badawczych.

EN

Nowadays, the source code apart from behavioral description - which is essential to generate executable form. -contains also records of its construction assumptions, implementation details notes, testing process requirements, and other information as well. All those data are crucial to achieve good ratings in project supervision, risk minimizing, and product quality. In consequence, there are many purposes of source code processing: compilation, but also documentation generation, refactorizalion, integrity and.correctness verification etc. Design Patterns presented here define front-end modules construction, which gives a possibility of modules reuse. The Patterns enforce modular implementation style, which allows composing code processing path from dynamically linked units in a convenient way. They clearly separate source text processing front-end from semantics units. Also the tools development process can benefit from using these patterns: they improve internal architecture, introduce mid-interfaces between functional blocks that become important form of technical documentation of tool interiors. The design patterns described here have been successfully applied in a few projects - commercial and research ones.

5

Rekonstrukcja semantyki wyższego rzędu z kodu C++ w zastosowaniu do analizy modeli SystemC

Bartela K., Forczek M., Szmal P.

Prace Naukowe Instytutu Informatyki Stosowanej Politechniki Wrocławskiej. Konferencje

|

2007

385-398

PL

Standard IEEE 1666-2005 - SystemC - jest odmianą notacji języka opisu sprzętu (HDL - Hardware Description Language). W odróżnieniu od innych notacji HDL, SystemC nie jest samodzielnym językiem, ale biblioteką klas szablonowych, która uzupełnia język C++ o elementy semantyki HDL. Z myślą o zastosowaniu w konstrukcji szerokiej gamy narzędzi projektowych został opracowany komponent programowy analizatora notacji SystemC. Istotą analizy notacji SystemC jest rekonstrukcja semantyki HDL, zawartej w kodzie źródłowym modelu. Analizator notacji SystemC dokonuje detekcji wzorców na poziomach: leksykalnym, składniowym oraz semantycznym, których kombinacja stanowi podstawę do wnioskowania o rozpoznaniu elementów semantyki HDL. Potrzebne informacje są uzyskiwane z reprezentacji pośredniej, generowanej przez moduł analizatora C++ z dostępnego publicznie projektu kompilatora GNU GCC. Architektura przyjęta w ramach zrealizowanego projektu wyodrębnia niezależne moduły analizatora C++ (część kompilatora GCC) oraz analizatora SystemC - oba zostały wyposażone w otwarte interfejsy aplikacyjne (API) umożliwiające współpracę z dowolnymi modułami implementującymi kolejne etapy przetwarzania, dołączanymi w postaci skompilowanych bibliotek dynamicznych. Zakres możliwych zastosowań obu modułów znacznie wykracza poza ramy omawianego projektu.

EN

Standard IEEE 1666-2005 - SystemC is one of the Hardware Description Languages (HDL). SystemC notation differs from classic HDL in that it is not a self-contained language but only a class library, which supplies the C++ language with HDL semantics. SystemC analyzer has been built as a base for a large variety of development tools. The analysis is based on the HDL semantics reconstruction from the C++ code. The analyzer uses lexical, syntactical, and semantic information extracted from an internal code representation built by the C++ compiler front-end from GCC. Both C++ analyzer from GCC and SystemC analyzer have open application interfaces what makes cooperation with different modules possible. Those modules are provided as dynamically linked libraries and implement next transformation steps. The scope of application of both modules significantly oversteps the project being discussed.