Title of article :
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
Author/Authors :
Klaus Indermark and Thomas Noll، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Pages :
43
From page :
1
To page :
43
Keywords :
Functional languages · Evaluation strategies · Compiler correctness · Formal semantics · Stack implementation
Journal title :
acta Informatica
Serial Year :
2006
Journal title :
acta Informatica
Record number :
287840
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=287840
بازگشت