Systems and methods for incremental compilation at runtime using relaxed guards

A computer system comprising:

• at least one processor;
• and
• a memory storing instructions configured to instruct the at least one processor to perform:
• receiving a request for executing a script;
• identifying a basic block of code in the script to be executed, the basic block including one or more variables that provide input values to the basic block;
• determining a set of data types corresponding to current variable values provided by the variables during current execution of the basic block of code, the set of data types including at least one generalized data type encompassing a specific data type of at least one variable value provided by the variables;
• and
• generating an executable block of code for the basic block of code, the executable block of code including a set of instructions configured to verify whether a set of subsequent variable values provided by the variables during subsequent execution of the basic block of code conforms to the set of data types.

A computer-storage medium storing computer-executable instructions that, when executed, cause a computer system to perform a computer-implemented method comprising:

• receiving a request for executing a script;
• identifying a basic block of code in the script to be executed, the basic block including one or more variables that provide input values to the basic block;
• determining a set of data types corresponding to current variable values provided by the variables during current execution of the basic block of code, the set of data types including at least one generalized data type encompassing a specific data type of at least one variable value provided by the variables;
• and
• generating an executable block of code for the basic block of code, the executable block of code including a set of instructions configured to verify whether a set of subsequent variable values provided by the variables during subsequent execution of the basic block of code conforms to the set of data types.