Low-code and modular programming environments are transforming PLC programming, with vendors providing pre-packaged libraries and objects that eliminate traditional IEC-61131-3 style coding, allowing ...

As software projects progress, quality of code assumes paramount importance as it affects reliability, maintainability and security of software. For this reason, static analysis tools are used in ...

Abstract: This study presents a solution to the problem of automating the conversion of program code between different programming languages using artificial intelligence (AI) technologies This area ...

Abstract: The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its ...