Are there machine (and human) readable specification languages for algorithm collections and meta-li

Posted by Jabavu Adams on Stack Overflow See other posts from Stack Overflow or by Jabavu Adams
Published on 2009-12-09T04:17:30Z Indexed on 2010/03/24 20:43 UTC
Read the original article Hit count: 222

Filed under:

metaprogramming

Is there high-level language out there for describing algorithms, that's geared towards specification, rather than implementation?

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

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

Related posts about metaprogramming

python metaprogramming

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to archive a task which turns out to be a bit complicated since I'm not very good at Python metaprogramming. I want to have a module locations with function get_location(name), which returns a class defined in a folder locations/ in the file with the name passed to function. Name of a… >>> More
Metaprogramming - self explanatory code - tutorials, articles, books

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello everybody, I am looking into improving my programming skils (actually I try to do my best to suck less each year, as our Jeff Atwood put it), so I was thinking into reading stuff about metaprogramming and self explanatory code. I am looking for something like an idiot's guide to this (free… >>> More
Getting template metaprogramming compile-time constants at runtime

as seen on Stack Overflow - Search for 'Stack Overflow'
Background Consider the following: template <unsigned N> struct Fibonacci { enum { value = Fibonacci<N-1>::value + Fibonacci<N-2>::value }; }; template <> struct Fibonacci<1> { enum { value = 1 }; }; template <> struct Fibonacci<0> { … >>> More
Cannot cout data [C++] [metaprogramming]

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, Guys, reffering to last post I'm trying to output data while template is instantiated template <unsigned long N> struct binary { std::cout << N;//<---------------------------------I'M TRYING HERE static unsigned const value = binary<N/10>::value… >>> More
Java Code Generation (Metaprogramming, Reflection, wtv)

as seen on Stack Overflow - Search for 'Stack Overflow'
Does anyone knows a tool for Java (something like codedom for C#) that provides a way to generate Java code to a .java file? >>> More

Developer IT

Are there machine (and human) readable specification languages for algorithm collections and meta-li - Developer IT

Are there machine (and human) readable specification languages for algorithm collections and meta-li

metaprogramming

Related posts about metaprogramming

python metaprogramming

Metaprogramming - self explanatory code - tutorials, articles, books

Getting template metaprogramming compile-time constants at runtime

Cannot cout data [C++] [metaprogramming]

Java Code Generation (Metaprogramming, Reflection, wtv)

Categories cloud