C10 is a strongly-typed, object-oriented, probabilistic, timed, concurrent constraint programming language, being developed within the X10 family of languages.