Robin Milner 1934--2010: verification, languages, and concurrency.

Andrew D. Gordon Robert Harper John Harrison Alan Jeffrey Peter Sewell

Published in: POPL (2011)

Keyphrases

object oriented languages
language independent
expressive power
concurrency control
model checking
cross lingual
object oriented
multilingual information retrieval
formal methods
multi lingual
high level programming languages
data sets
query processing
formal specification
face verification
formal verification