Description: AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.
Keywords: absint,angewandte,informatik,abstract,interpretation,compiler,technology,embedded,system,embedded,system,software,WCET,analysis,stack,usage,run,time,error,value,postpass,code,optimization,static,program,graph,visualization,verified,compilation
Science Math Combinatorics Software Graph Drawing 网站
2024年12月26日