[Attempto] Representing code (C++ etc)

[Theodore H. Smith]

>> Really, the root of my question is: "Can attempto describe everything that can be described in English"
> 
> Since ACE is a subset of English the simple answer is no. 

Oh I see. There are concepts that are not representable in attempto?

>> If you can describe code in English, and attempto can describe everything that English can describe, then attempto can describe code. Right?
> 
> 
> Perhaps you should try paraphrasing your C++ code in ACE and then submit the paraphrase to APE's web-interface (http://attempto.ifi.uzh.ch/ape/). I am highly interested in your results.

I might give that a go. I'll have to learn about attempto, alongside my other work, so it may be a few days. First I need to learn how to specify items from a list or array.