Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2020	ACM Digital Library

Información

Tipo de recurso:

actas de congreso

ISBN impreso

978-1-4503-8176-5

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

2020-11-16

Información sobre derechos de publicación

Cobertura temática

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1145/3426425.3426947

Modular and distributed IDE

Fabien Coulon; Alex Auvolat; Benoit Combemale; Yérom-David Bromberg; François Taïani; Olivier Barais; Noël Plouzeau

Pp. No disponible

doi: 10.1145/3426425.3426938

Test case generation from context-free grammars using generalized traversal of LR-automata

Christoff Rossouw; Bernd Fischer

Pp. No disponible

doi: 10.1145/3426425.3426939

Featherweight Swift: a Core calculus for Swift’s type system

Dimitri Racordon; Didier Buchs

Pp. No disponible

doi: 10.1145/3426425.3426948

Block-based syntax from context-free grammars

Mauricio Verano Merino; Tijs van der Storm

Pp. No disponible

doi: 10.1145/3426425.3426933

Software language engineers’ worst nightmare

Vadim Zaytsev

Pp. No disponible

doi: 10.1145/3426425.3426929

A family of languages for trustworthy agent-based simulation

Steffen Zschaler; Fiona A. C. Polack

Pp. No disponible

doi: 10.1145/3426425.3426943

Strategic tree rewriting in attribute grammars

Lucas Kramer; Eric Van Wyk

Pp. No disponible

doi: 10.1145/3426425.3426940

Untangling mechanized proofs

Clément Pit-Claudel

Pp. No disponible

doi: 10.1145/3426425.3426937

Towards the optical character recognition of DSLs

Jorge Perianez-Pascual; Roberto Rodriguez-Echeverria; Loli Burgueño; Jordi Cabot

Pp. No disponible

doi: 10.1145/3426425.3426928

Gradually typing strategies

Jeff Smits; Eelco Visser

Pp. No disponible