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á...

Descripción completa

Detalles Bibliográficos

Autor corporativo:	International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Otros autores:	Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Formato:	Procedimiento de la conferencia Libro
Idioma:	Inglés
Publicado:	Cham, Suiza : Springer, 2014, c2014
Colección:	(Lecture Notes in Computer Science ; 8475)
Temas:	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
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!