Programming Language - SFLV

SFLV

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.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

2 plus 6? *   Robot Spam Prevention

 

Next Language:   SGML

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z