Runtime Service Composition via Logic-Based Program Synthesis

University dissertation from Kista : Mikroelektronik och informationsteknik

Author: Sven Lämmermann; Kth.; [2002]

Keywords: service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

Abstract:

CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)