Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Maude

< >

Maude is a programming language created in 1990.

#2430on PLDB 34Years Old

Maude is a high-level language and high-performance system supporting both equational and rewriting logic computation for a wide range of applications.


Example from the web:
fmod FACTORIAL is protecting INT . op undefined : -> Int . op _! : Int -> Int . var n : Int . eq 0 ! = 1 . eq n ! = if n < 0 then undefined else n * (sd(n, 1) !) fi . endfm red 11 ! .

- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0