Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorPaška, Marek
dc.date.accessioned2016-06-21T07:45:47Z
dc.date.available2016-06-21T07:45:47Z
dc.date.issued2012
dc.identifier.urihttp://www.kiv.zcu.cz/publications/
dc.identifier.urihttp://hdl.handle.net/11025/21555
dc.format20 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherUniversity of West Bohemia in Pilsenen
dc.rights© University of West Bohemia in Pilsenen
dc.subjectaplikacecs
dc.subjectPythoncs
dc.subjectJavacs
dc.titleInstalling and using PyPy standalone compiler with parlib framework: technical report no. DCSE/TR-2012-09en
dc.typezprávacs
dc.typereporten
dc.rights.accessopenAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedThis technical report describes how to install and use an application framework called Parlib with an experimental compiler based on the PyPy project. This software equipment enables to write programs in the Python programming language and to translate them to efficient machine code and Java byte-code. A development process that takes advantage of these tools is briefly described. The development process also embraces formal methods, literally explicit model checker Java Pathfinder, to improve dependability of the final program. The development process is designed for embedded devices; however, it is not limited to this domain.en
dc.subject.translatedapplicationen
dc.subject.translatedPythonen
dc.subject.translatedJavaen
Vyskytuje se v kolekcích:Zprávy / Reports (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
Paska.pdfPlný text146,84 kBAdobe PDFZobrazit/otevřít


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/21555

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.