thesz.livejournal.com
Discreet and not discrete.
http://thesz.livejournal.com/tag/c#
Iscreet · and · not · discrete. Do you want to crack jokes about it or do you want me to go? К вопросу о простоте лексера языка программирования Си. В одной библиотеке нашёл вот такое:. Define BODY clc/integer/abs.inc #include clc/integer/gentype.inc. И ведь наверняка где-то используется в виде. Черновик последнего стандарта C. Http:/ www.open-std.org/jtc1/sc22/w. Вверху форма сигнала, внизу - короткая формула на Си, которая её производит. Ну, а звук - как эта формула звучит. Компилятор Си на Лиспе.
ahamsandwich.wordpress.com
Summer Reading | A Ham Sandwich
https://ahamsandwich.wordpress.com/2011/06/08/summer-reading
Computer Science and Goings-On. I’m headed back to Microsoft for the summer, to do some program analysis work. I’ve got quite a lengthy commute from where I live in Seattle, which should be made much more bearable by the Microsoft Connector bus. Since I won’t be driving, I should have plenty of time to get some reading done. My reading goals for the summer are to work my way through:. Type Theory and Functional Programming. Coq’Art: Interactive Theorem Proving and Program Development. Date : June 8, 2011.
heap-of-problems.org
Links - A Heap of Problems
http://www.heap-of-problems.org/Links
From A Heap of Problems. This site contains links to tool webpages, other example collections and in general sites that might be interesting. The Smallfoot formalisation can be found in the examples directory). An overview of Separation Logic. Dynamic Datastructures in ACL2: A Challenge. By Eran Yahav (IBM Research). A collection of Java Data Structures that have been verified using Jahob. Retrieved from " http:/ www.heap-of-problems.org/Links. A Heap of Problems. This page has been accessed 3,618 times.
