Funkcional logikalıq programmalastırıw

Funkcional logikalıq programmalastırıw — bul bir programmalastırıw tilinde funkcional programmalastırıw hám logikalıq programmalastırıw paradigmalarınıń birikpesi^[1]. Programmalastırıwdıń bul usılı Curry hám Mercury sıyaqlı hár túrli programmalastırıw tillerinde sáwlelengen^[2]^[3]. Jaqınıraq mısal — Verse^[4]. Funkcional hám logikalıq programmalastırıwdıń integraciyasına arnalǵan jurnal 1995 hám 2008-jıllar arasında MIT Press hám Evropa Programmalastırıw Tilleri hám Sistemaları Associaciyası tárepinen baspadan shıǵarılǵan^[5].

Derekler

↑ Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.
↑ Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.
↑ Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.
↑ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."
↑ Kuchen. «The Journal of Functional and Logic Programming». University of Münster.

[1] Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.

[2] Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.

[ACM-3] Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.

[4] AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."

[5] Kuchen. «The Journal of Functional and Logic Programming». University of Münster.

[1]

[2]

[3]

[4]

[5]