Formal Systems Laboratory at University of Illinois
1 SlideShare 1 Seguidor
Personal Information
Organización/Lugar de trabajo
Urbana, Illinois United States
Sector
Education
Sitio web
fsl.cs.uiuc.edu
Acerca de
In the FSL, we design and develop foundational and theoretical models, specification and programming languages, techniques and methodologies, as well as software analysis prototypes and tools, all aiming at increasing the quality of computing systems.
Etiquetas
design dsl program analysis program verification rewriting concurrency programming languages
Ver más

Presentaciones

(1)

A Rewriting Approach to Concurrent Programming Language Design and Semantics

Hace 13 años • 2180 Visualizaciones
Personal Information
Organización/Lugar de trabajo
Urbana, Illinois United States
Sector
Education
Sitio web
fsl.cs.uiuc.edu
Acerca de
In the FSL, we design and develop foundational and theoretical models, specification and programming languages, techniques and methodologies, as well as software analysis prototypes and tools, all aiming at increasing the quality of computing systems.
Etiquetas
design dsl program analysis program verification rewriting concurrency programming languages
Ver más