OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.

The article offers information on OCCAM-v2, a hybrid programming language that combines static analysis and dynamic analysis. The authors note that this tool is an extension of their earlier tool named OCCAM. Topics include the LLVM compiler, optimization of intrafunction analysis, and OCCAM-v2's de...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 66; no. 4; pp. 40 - 48
Main Authors:	NAVAS, JORGE A., GEHANI, ASHISH
Format:	Article
Published:	Association for Computing Machinery Apr2023
Subjects:	occam (Computer program language) Software architecture Compilers (Computer programs) Modular programming Interpreters (Computer programs)
Online Access:	View this record in EBSCOhost