Home > Search Results: keywords:"semantic differences"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Applying formal methods to analysis of semantic differences between versions of software
 Nečas, František ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor)
Cílem této práce je navrhnout integraci formálních metod pro DiffKemp, nástroj pro statickou analýzu sémantických rozdílů v rozsáhlých programech napsaných v jazyce C. Cílem tohoto rozšíření je umožnit analýzu složitějších změn, které by typicky byly analyzovatelné spíše nástroji založenými na formálních metodách, a zároveň zachovat škálovatelnost nástroje DiffKemp na velké projekty. Principem navrženého řešení je při analýze v případě nalezení možné sémantické změny zakódovat problém ekvivalence příslušných instrukcí jako instanci problému SMT. Tím je možné sémantický rozdíl potvrdit, nebo vyvrátit s pomocí SMT solveru. Navržené řešení bylo implementováno v nástroji DiffKemp a experimenty provedené na sadě programů zvané EqBench ukazují, že rozšiřuje schopnosti nástroje DiffKemp, převážně v oblasti přesné analýzy úprav aritmetických výrazů.
Detailed record
Semantic differences in the use of gerund and present participle in French
 Kalinová, Olga ; Nádvorníková, Olga (advisor) ; Duběda, Tomáš (referee)
Semantic differences in the use of gerund and present participle in French The objective of this memory is to systematize and expand the field of semantic differences between the gerund and the present participle in French. The departing point is that these -ant forms are two completely separate and independent grammatical forms from the morphological, syntactic and semantic points of view. These differences will be explained in the theoretical part of the work. Grammatical switching between these two forms is possible only when the present participle has the épithète détachée function. Unlike traditional French grammar, we assume that in this case there is a fine difference in meaning when gerund and present participle commute in sentences with identical environments. Our hypothesis, based on the approach of Saskia Kindt, consists in the difference in expression of intentionality. The empirical part will present the methodology for verifying the hypothesis and results from analysis of the corpus Frantext and questionnaire survey of native speakers. We would expect that the gerund will have the tendency to mark intentionality, while the present participle will be able to express non-intentional nuance in sentences with identical environment. By the explanation of the results, we will try to...
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English