Skip to search formSkip to main contentSkip to account menu

Pict (programming language)

Known as: Pict (disambiguation), Pict programming language 
Pict is a statically typed programming language, one of the very few based on the π-calculus. Work on the language began at the University of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Concurrent computingList of programming languagesList of programming languages by typeProgramming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Pict correctness revisited
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)