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