LAUKO, Henrich. LART. 2022.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name LART
Authors LAUKO, Henrich.
Edition 2022.
Other information
Original language English
Type of outcome Software
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
Organization unit Faculty of Informatics
Keywords in English compiler;program instrumentation;abstraction;llvm
Changed by Changed by: RNDr. Henrich Lauko, Ph.D., učo 410438. Changed: 10/11/2023 11:02.
Abstract
LART: LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
Links
MUNI/A/1145/2021, interní kód MUName: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Acronym: SV-FI MAV XI.)
Investor: Masaryk University
PrintDisplayed: 5/9/2024 01:23