Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /

Selección de ponencias del décimo segundo Simposio Internacional sobre Programación Lógica y Funcional, celebrado en Kanazawa, Japón, en junio de 2014. Se incluyen los siguientes textos: Generación de datos aleatorios restringidos con distribución uniforme; Depuración guiada de tipos; Uso de la semá...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Weitere Verfasser:	Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:	(Lecture Notes in Computer Science ; 8475)
Schlagworte:	Lenguaje Máquina Compiladores (Software) Depuración (Software) Estructura de Datos Intérpretes (Software) Lenguajes de Programación Programación Estructurada (Software) Programación Funcional (Software) - > Tema Principal Programación Lógica (Software) - > Tema Principal Programación (Software) - > Congresos - > Tema Principal Programación (Software) - > Tema Principal Ingeniería de Software Desarrollo de Sistemas Ingeniería Computacional
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!