SFLV

Also found in: Acronyms

0.01 sec.

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.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Seymour, John Seymour, William Seymouria Seymouriamorpha Seyon Lodge State Park Seyss-Inquart, Arthur Seyssel, Claude de Seyðisfjörður SezaI, SamIpasazade Sezary syndrome Sezession SF6 SFA Sfatul Tarei Sfax SFBI SFC SFD-ALGOL sferics sferics fix sferics observation sferics receiver SFF SFFA SFL SFLV Sforza Sforza family Sforza, Carlo, Conte Sforza, Carlo, Count Sforza, Francesco Sforza, Francesco I Sforza, Ludovico Sforzando SFS SFTP Sftwd sfu Sfumato SFX Sg SGCP SGD SGI SGML SGML Tagger sgmls Sgraffito SGRAM SH SHA			SFLF Sflg SFLGBTPPC SFLGFB SFLGS SFLHCC SFLI SFLIC SfLIP SFLL SFLM SFLMP SFLN SFLNC SFLO SFLOMA SFLP SfLQI SFLR SFLRLA SFLRP Sfls SFLU SFLUA SFLV SFLX SFM SFMA SFMAA SFMAIC SFMB SFMBP SFMC SFMCP SFMD SFME SFMEA SFMECA SFMEG SFMF SFMFF SFMG SFMH SFMHA SFMHS SFMI SFMIS SFMJI SFML

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.