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

Maude

< >

Maude is a programming language created in 1990.

#2415on 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 ! .
View source
- Build the next great programming language About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll