Metadata
Author: WikiMatrix
Data
Czech[cs]
Některé implementace používají abstraktní interpretaci k odvození informace o typu a módu predikátů v době kompilace nebo kompilují do skutečného strojového kódu pro vysokou výkonnost.
English[en]
Some implementations employ abstract interpretation to derive type and mode information of predicates at compile time, or compile to real machine code for high performance.