Formal Systems Laboratory at University of Illinois
1 SlideShare 1 Abonnés
Personal Information
Entreprise/Lieu de travail
Urbana, Illinois United States
Secteur d’activité
Education
Site Web
fsl.cs.uiuc.edu
À propos
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.
Mots-clés
design dsl program analysis program verification rewriting concurrency programming languages
Tout plus

Présentations

(1)

A Rewriting Approach to Concurrent Programming Language Design and Semantics

il y a 13 ans • 2180 Vues
Personal Information
Entreprise/Lieu de travail
Urbana, Illinois United States
Secteur d’activité
Education
Site Web
fsl.cs.uiuc.edu
À propos
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.
Mots-clés
design dsl program analysis program verification rewriting concurrency programming languages
Tout plus