Other formats:
BibTeX
LaTeX
RIS
@misc{2335500, author = {Lauko, Henrich}, keywords = {compiler;program instrumentation;abstraction;llvm}, language = {eng}, title = {LART}, url = {https://github.com/xlauko/lart}, year = {2022} }
TY - ID - 2335500 AU - Lauko, Henrich PY - 2022 TI - LART KW - compiler;program instrumentation;abstraction;llvm UR - https://github.com/xlauko/lart N2 - 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. ER -
LAUKO, Henrich. \textit{LART}. 2022.
|