Installing and using PyPy standalone compiler with parlib framework: technical report no. DCSE/TR-2012-09
| dc.contributor.author | Paška, Marek | |
| dc.date.accessioned | 2016-06-21T07:45:47Z | |
| dc.date.available | 2016-06-21T07:45:47Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract-translated | This 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.format | 20 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://www.kiv.zcu.cz/publications/ | |
| dc.identifier.uri | http://hdl.handle.net/11025/21555 | |
| dc.language.iso | en | en |
| dc.publisher | University of West Bohemia in Pilsen | en |
| dc.rights | © University of West Bohemia in Pilsen | en |
| dc.rights.access | openAccess | en |
| dc.subject | aplikace | cs |
| dc.subject | Python | cs |
| dc.subject | Java | cs |
| dc.subject.translated | application | en |
| dc.subject.translated | Python | en |
| dc.subject.translated | Java | en |
| dc.title | Installing and using PyPy standalone compiler with parlib framework: technical report no. DCSE/TR-2012-09 | en |
| dc.type | zpráva | cs |
| dc.type | report | en |
| dc.type.version | publishedVersion | en |
Files
Original bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- Paska.pdf
- Size:
- 146.84 KB
- Format:
- Adobe Portable Document Format
- Description:
- Plný text
License bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: