What is it about?
we try to convert a source code into series of relation. which means the program will change to a simple function, the initial variables are the function input parameters and the function output is the final state of each variable. it is a about a static analyser which tries to run before running the program and baed on the expressions, conditions and loops in the code, it creates a function that described the initial/final state of each variable. so you dont need to run a O(N^2) code for example, the function gives you same answer in O(1).
Featured Image
Photo by Chris Ried on Unsplash
Why is it important?
having the function of the program which gives me the final value of each variable: 1- we are able to test each program in offline mode without running the code in real scenario 2- it works in much faster time because everything now is converte into a simple relation which takes constant time. 3 -we can find the program issues in an interactive way, change the source code and see what would be the output
Perspectives
the paper is implemented with Java program. and we tested on many number of input. for now it covers linear expressions beside conditions, loops and function calling. it makes testing much simpler as it run in constant time.
Hessamaldin Mohammadi
Read the Original
This page is a summary of: Computing program functions, May 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3524482.3527655.
You can read the full text:
Contributors
The following have contributed to this page
