Are there machine (and human) readable specification languages for collections of algorithms and meta libraries?

Question

Is there a high-level language for describing algorithms intended for specification, not implementation?

The idea would be to have a machine-readable archive of standard algorithms, with machine-readable annotations on trade-offs and options.

I am thinking of something like CycL / OpenCyC, but for algorithms and programming patterns.

+3

Jabavu adams Dec 9 '09 at 4:17

3 answers

Jacques Carette · Answer 1 · 2010-06-14T21:39:48+0000

, : Maude CASL. ( ) , . AsmL, .

, Agda 2 , . , Coq (- ), .

Cerin · Answer 2 · 2010-03-24T20:41:05+0000

glib: . .

: , , , , . , - , . , , , , .

Robert Harvey · Answer 3 · 2010-03-24T20:43:08+0000

, . -. - . Lisp Forth . , , .

Are there machine (and human) readable specification languages ​​for collections of algorithms and meta libraries?