VDict - Definition of SASL+LV

Computing (FOLDOC) dictionary

SASL+LV

Unifies logic and functional programming. A more complete

version of FGL+LV, in SASL syntax. "Combinator Evaluations of

Functional Programs with Logical Variables", G. Bage et al, TR

UUCS-87-027, U Utah, Oct 1987.

Related search result for "SASL+LV"

Words contain "SASL+LV" in its definition in Computing (FOLDOC) dictionary:
Single ASsignment Language Simple Authentication and Security Layer SASL+LV SASL-YACC Yet Another Compiler Compiler SASL KRC SFLV HASL David Turner more...