|
|
Java Bytecode Preprocessor for Program Verification Tools
Šafařík, Tomáš ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transformations. We developed the new application, called BytecodeTransformer, based on these propositions. This application transforms compiled Java programs and replaces the problematic instruction sequences with some others. Usage of BytecodeTransformer enlarges the set of programs that can be verified by both J2BP and PANDA. We also evaluated BytecodeTransformer on several Java programs, including own tests and well-known open-source programs. These tests demonstrated the correct functionality of BytecodeTransformer. Powered by TCPDF (www.tcpdf.org)
|
|
|
Compiler from BASIC language to assembler
Šafařík, Tomáš ; Yaghob, Jakub (advisor) ; Dokulil, Jiří (referee)
This text treats of the compiler into assembly language of the programming language which is derived from programming language BASIC. This derived language is specified including the analysis of the language constructions. In the next chapters are described analysis and implementation of our compiler for this programming language. In the chapter about analysis are described symbol tables, semantic tables and intermediate code representations of the compiler. In the section about implementations is possible to find more detail describe of data structures and algorithms used in the compiler. This text also contains a chapter describing the implementation of language libraries and runtime support for compiled programs. The next part of this work is about implementation some optimizations. These optimizations are: constant folding, unreachable code elimination, common subexpression elimination, elimination and function inlining. The final part explains how to extend designed programming language and how to make better compiler of this language. The reader can also familiarize with tools like Bison or Flex which are used during the implementation of the compiler.
|
|
| |
|
|
Java Bytecode Preprocessor for Program Verification Tools
Šafařík, Tomáš ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transformations. We developed the new application, called BytecodeTransformer, based on these propositions. This application transforms compiled Java programs and replaces the problematic instruction sequences with some others. Usage of BytecodeTransformer enlarges the set of programs that can be verified by both J2BP and PANDA. We also evaluated BytecodeTransformer on several Java programs, including own tests and well-known open-source programs. These tests demonstrated the correct functionality of BytecodeTransformer. Powered by TCPDF (www.tcpdf.org)
|
|
|
Compiler from BASIC language to assembler
Šafařík, Tomáš ; Dokulil, Jiří (referee) ; Yaghob, Jakub (advisor)
This text treats of the compiler into assembly language of the programming language which is derived from programming language BASIC. This derived language is specified including the analysis of the language constructions. In the next chapters are described analysis and implementation of our compiler for this programming language. In the chapter about analysis are described symbol tables, semantic tables and intermediate code representations of the compiler. In the section about implementations is possible to find more detail describe of data structures and algorithms used in the compiler. This text also contains a chapter describing the implementation of language libraries and runtime support for compiled programs. The next part of this work is about implementation some optimizations. These optimizations are: constant folding, unreachable code elimination, common subexpression elimination, elimination and function inlining. The final part explains how to extend designed programming language and how to make better compiler of this language. The reader can also familiarize with tools like Bison or Flex which are used during the implementation of the compiler.
|
|
|
ICT market supply side analysis
Šafařík, Tomáš ; Voříšek, Jiří (advisor) ; Kaletová, Radka (referee)
This diploma thesis is focused on description, breakdown and objective analysis of available development indicators of the Information and Communication Technology market in the Czech Republic. In certain ways it relates to some prior theses prepared on the department of Information Technologies at The Prague University of Economics. The paper breakdowns period of last ten years, ideally years 1997 -- 2007, but in some parts the period is adjusted according to availability of statistical data. Also description of contemporary market situation and outline of trends is included to serve as future development estimation. Specific contribution of this work is analysis of data extracted from annual overview presented in Computerworld Top 100 by IDG Czech a.s. and data obtained from European Information Technology Observatory (EITO) yearbooks. Objective recognition of this data, their verification against information from different available sources and explanation by factual event provides comprehensive and independent view on particular influences which formed and affect Information and Communication Technology market in the Czech Republic. Whole paper and its individual chapters are as much as possible drafted as standalone parts and are seamlessly designated to overview dealt topic. Their objective is to provide summarized view of the topic with objective interpretation and comments. The most important from each part are basis for conclusion of the thesis. Conclusion provides the most important and interesting findings as well as future prospects considering areas of Information and Communication Technology market with great potential. Paper does not have the ambition of being isolated ultimative source of information about analyzed matters. It should be synoptical summary for anyone who wants to orientate oneself and as a good-quality source with references to external documents and other sources for those who want to deal with the problematics in more details.
|
guest ::
RSS feed.