Original Title:
Modular logic programming and abstract data types
Languages of Item:
English
Creator:
Karali, Isambo
Halatsis, Costas
Main subject category:
Logic
Other subject categories:
Computer science
Keywords:
module system, modular logic programming, abstract data types, formal semantics, ADT support
Notes:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές