What are the languages which support assertions

Languages which support assertions often provide different levels of support. For instance, Java has an assert statement which takes a boolean argument; it throws an exception if argument isn't true. Assertion checking can be turned off with a compiler switch. Programmers can use assert statement to write checks for pre- and post conditions, class invariants and unreachable code, however this is all up to the programmer.