CS 541 Lecture -*- Outline -*- * Research Directions in declarative langauges Warning: this is dated... ** Software Engineering *** Specification and Verification party line is that don't need such things, but one does if there is significant "fine tuning" of code (data structures, etc.) some recent work on this *** Programming in the Large e.g., Parameterized programming Lambda prolog has some features for this. ** New Logics and models of computation still may be room for better ways to compute declaratively esp. application-oriented logics tension between logics that are capable of specifying new combining forms (higher-order logics) and logics that are not (as in Backus's FP) ** Compilation and Efficiency blend of theory and practice, since such languages closely tied to logic