Imagen de portada
Código QR

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

Guardado en:
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!
Resumen: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ántica de pasos grandes y pequeños en Maude para realizar la depuración declarativa; Faustine: un banco de pruebas del intérprete de Vector Faust para el procesamiento de señales multimedia; Sobre la persistencia entre etapas en la programación de varias etapas; Polimorfismo ligero de clase superior; Programación genérica con múltiples parámetros; Análisis de recursos amortizados basado en tipos con enteros y matrices; Tipos de tamaño lineal en el cálculo de construcciones; Programación dinámica a través de adelgazamiento e incrementación; Análisis de expresiones regulares POSIX con derivados; Demostrar la corrección de los compiladores usando gráficos estructurados; Una nueva formalización de la subtipificación para hacer coincidir las subclases con los subtipos; Programación lógica de restricciones para coberturas: una reconstrucción semántica.
Descripción física:1 libro electrónico en línea (XVI, 353 p.)
1 recurso en línea
ISBN:978-3-319-07151-0
Acceso:Licencias ilimitadas

Ejemplares similares