Translating TROLL light concepts to Maude

Lecture Notes in Computer Science - Trang 173-187 - 1994
Denker, G.1, Gogolla, M.1
1Technische Universität Braunschweig

Tóm tắt

The specification language TROLL light is designed for the conceptual modeling of information systems. Maude is a logic programming language, which unifies the two paradigms of functional and concurrent object-oriented programming. Because of the very similar...

Thông tin
Thông tin xuất bản

Lecture Notes in Computer Science

173-187

Thông tin tác giả