Original title: Instrumentace Java programů, kontrakty pro paralelismus
Translated title: Parametric Contracts for Concurrency in Java Programs
Authors: Žárský, Jan ; Křena, Bohuslav (referee) ; Smrčka, Aleš (advisor)
Document type: Master’s theses
Year: 2021
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: concurrent programming; contracts for concurrency; dynamic analysis; instrumentation; Java; Java bytecode; RoadRunner; software verification; dynamická analýza; instrumentace; Java; Java bajtkód; kontrakty pro paralelismus; RoadRunner; verifikace softwaru; vícevláknové programování

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/200113

Permalink: http://www.nusl.cz/ntk/nusl-445489


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2021-06-27, last modified 2022-09-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share