SFLV

Unifies logic and functional programming. SASL+LV with unification moved from actual/formal parameter matching to equational clauses. "Static Analysis of Functional Programs with Logical Variables", G. Lindstrom in Programming Languages Implementation and Logic Programming, P. Deransart et al eds, LNCS 348, Springer 1988.

Try this search on Wikipedia, OneLook, Google

Nearby terms: SFD-ALGOL « SFFA « SFL « SFLV » sFTP » sg » SGCP


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.