Title :
Blending imperative and relational programming
Author :
Budd, Timothy A.
Author_Institution :
Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
Abstract :
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.<>
Keywords :
high level languages; logic programming; programming; Leda; compiled language; imperative programming; logical programming; relational programming; strongly typed language; Computer languages; Data structures; Joining processes; Logic programming; Optimizing compilers; Problem-solving; Programming profession; Runtime; Software systems;
Journal_Title :
Software, IEEE
