Is there a meta-language to describe types (structures/records, function types and their parameters …) and constants that can be fed to a tool or that I can then write code for to create prototypes for multiple target languages? Note: (E)BNF is not even close to what I am looking for.
IDL looks closer to what I need, but those flavors I looked at didn’t even cover systems that were not also object-oriented. Microsoft’s M seems to be tied to .NET and the system I need it for is truly what one would usually describe as a “C-API”. No fancy interface definitions or anything remotely object-oriented.
OMG IDL provide documents describing the mapping of IDL constructs to a number of well known languages including C:
http://www.omg.org/technology/documents/idl2x_spec_catalog.htm