Improved Loop Execution Modeling in the Clang Static Analyzer.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 909, doi. 10.14232/actacyb.283176
- By:
- Publication type:
- Article
Works matching IS 0324721X AND DT 2022 AND VI 25 AND IP 4
Results: 5
1
2
A Modern Look at GRIN, an Optimizing Functional Language Back End.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 847, doi. 10.14232/actacyb.282969
- By:
- Publication type:
- Article
3
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 817, doi. 10.14232/actacyb.284280
- By:
- Publication type:
- Article
4
Type Inference of Simple Recursive Functions in Scala.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 797, doi. 10.14232/actacyb.282762
- By:
- Publication type:
- Article
5
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 923, doi. 10.14232/actacyb.282900
- By:
- Publication type:
- Article