[Attempto] Representing code (C++ etc)

[Brad Cox]

No parenthesis, braces, brackets. None. Think about it.

On Mon, Jan 30, 2012 at 1:43 PM, Theodore H. Smith <delete at elfdata.com>wrote:

> Hi everyone,
>
> It's my first post here. I was very interested in representing concepts in
> a formal, computable form. So I asked some questions and found this place!
>
> How does attempto handle representing code. Let's say a simple function:
>
> int GCD(int a, int b) {
> // calculates the greatest common divisor of two numbers.
>  if (b > a) { goto b_larger; }
>
>  while (true) {
>    a = a % b;
>    if (a = 0) return b;
>    b_larger:;
>    b = b % a;
>    if (b = 0) return a;
>  }
>  }
>
>
> How would you describe that in attempto?
>
> I think describing code is very important. Doing reasoning about code
> could achieve many things, the smallest and most obvious of things would be
> to help eliminate bugs in code ;)
>
> Also, could attempto ever get the ability to RUN code? Not just describe
> code, but run it. I mean, it stands to reason, that if you can describe
> code, the next step is to give the ability to run it?
>
> --
> http://angelcog.org/
> "A true logic processing language." (currently under development)
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>



-- 
Cell: 703-594-1883
Blog: http://bradjcox.blogspot.com
Web: http://virtualschool.edu
Manassas VA 20111
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120130/c66d54d7/attachment.html>