scientific article; zbMATH DE number 7444236

zbMATH Open1488.68016MaRDI QIDQ5016585

Norbert Pataki, Bence Babati

Publication date: 13 December 2021

Full work available at URL: http://ac.inf.elte.hu/Vol_052_2021/057_52.pdf

Title of this publication is not available (Why is that?)

zbMATH Keywords

static analysisC++dynamic analysispredicateSTL algorithm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• STL
• STLlint

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5016585)