Preemptive type checking

Grech, N; Fischer, B; Rathke, J

Grech, N (reprint author), Univ Athens, Athens, Greece.; Grech, N (reprint author), Univ Malta, Msida, Malta.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018; 101 (): 151