Typen für logikbasierte aktive Objekte

                          Franz Puntigam
    Institut für Computersprachen, Technische Universität Wien
           Argentinierstraße 8, A-1040 Vienna, Austria
             E-mail: franz@complang.tuwien.ac.at

"Concurrent logic languages" (CL-Sprachen) eignen sich im Prinzip zur
objektorientierten Programmierung. Allerdings fehlt ihnen ein polymorphes
Typsystem zur Unterstützung der inkrementellen Softwareentwicklung. Mit
dem in diesem Artikel vorgestellten Typkonzept für CL-Sprachen wird
dieses Manko beseitigt. Dieses Typkonzept erreicht unter anderem durch
Verwendung kommutativer Listen große Ausdrucksstärke.