Formal Systems Laboratory at University of Illinois
1 SlideShare 1 Follower
Personal Information
Unternehmen/Arbeitsplatz
Urbana, Illinois United States
Branche
Education
Webseite
fsl.cs.uiuc.edu
Info
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.
Tags
design dsl program analysis program verification rewriting concurrency programming languages
Mehr anzeigen

Präsentationen

(1)

A Rewriting Approach to Concurrent Programming Language Design and Semantics

Vor 13 Jahren • 2180 Aufrufe
Personal Information
Unternehmen/Arbeitsplatz
Urbana, Illinois United States
Branche
Education
Webseite
fsl.cs.uiuc.edu
Info
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.
Tags
design dsl program analysis program verification rewriting concurrency programming languages
Mehr anzeigen