Questions Columns Rows
GitHub icon

Extended ML

Extended ML - Programming language

< >

Extended ML is a programming language created in 1985.

#2201on PLDB 38Years Old

Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Read more on Wikipedia...

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 267 Logout