Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Computing with logic: logic programming with Prolog
Computing with logic: logic programming with Prolog
Please: executable specifications for incremental software development
Journal of Systems and Software
Scheme and the art of programming
Scheme and the art of programming
ICON Programmng Language
Data Structures in Leda
A multiparadigm approach to compiler construction
ACM SIGPLAN Notices
Never mind the paradigm, what about multiparadigm languages?
ACM SIGCSE Bulletin
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
| Hi-index | 0.02 |
When imperative (value- or state-oriented) programming and logical (relation-oriented) programming are combined into a single language, the combination is even more powerful than when either technique is used alone. Leda, a strongly typed compiled language that tries to combine features of both, is described. Suggestions for blending the two styles are offered. Logical features of Leda are examined.