Formal Systems Laboratory at University of Illinois
1 SlideShare 1 Follower
Personal Information
Organization / Workplace
Urbana, Illinois United States
Industry
Education
Website
fsl.cs.uiuc.edu
About
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
See more

Presentations

(1)

A Rewriting Approach to Concurrent Programming Language Design and Semantics

13 years ago • 2180 Views
Personal Information
Organization / Workplace
Urbana, Illinois United States
Industry
Education
Website
fsl.cs.uiuc.edu
About
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
See more