مرکز منطقه ای اطلاع رساني علوم و فناوري - Kima: An Automated Error Correction System for Concurrent Logic Programs

Title of article :

Kima: An Automated Error Correction System for Concurrent Logic Programs

Author/Authors :

Yasuhiro Ajiro and Kazunori Ueda ، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Types , Static analysis , Constraint satisfaction , Debugging , concurrent logic programming

Journal title :

Automated Software Engineering

Serial Year :

2002

Journal title :

Automated Software Engineering

Record number :

307090

Link To Document :