You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
== Topics == * semantics, logics, foundational theory * design of languages, type systems, and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis, and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic, and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation
Save page Show preview Cancel