مرکز منطقه ای اطلاع رساني علوم و فناوري - Syntactic Type Soundness Results for the Region Calculus

Title of article :

Syntactic Type Soundness Results for the Region Calculus

Author/Authors :

Cristiano Calcagno، نويسنده , , Simon Helsen، نويسنده , , Peter Thiemann، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

199

To page :

221

Keywords :

region calculus , type soundness. , operational semantics

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262039

Link To Document :