Alice is an innovative 3D programming environment that makes it easy to create an animation for telling a story, playing an interactive game, or a video to share on the web. Alice is a teaching tool for introductory computing. It uses 3D graphics and a drag-and-drop interface to facilitate a more engaging, less frustrating first programming experience.
The process of writing large parallel programs is complicated by the need to specify both the parallel behaviour of the program and the algorithm that is to be used to compute its result.
Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very well how to show that one relation is included in another by algebraic reasoning. We demonstrate how to encode functional and relational derivations in a dependently typed programming language. A program is coupled with an algebraic derivation from a specification, whose correctness is guaranteed by the type system. Code accompanying the paper has been developed into an Agda library AoPA.
XPath Explorer (XPE) is a GUI application that lets you interactively experiment with XPath. Basically, you type in a URL (to an XML or HTML document) and an XPath expression, and it displays the elements or attributes from that document which match that
a research project that allows users to compile C and C++ code that is targeted to run on the open source ActionScript Virtual Machine (AVM2). The purpose of this preview is to assess the level of community interest in reusing existing C and C++ libraries in Web applications that run on Adobe® Flash® Player and Adobe AIR®.
Alan Mathison Turing, OBE (June 23, 1912 – June 7, 1954) was an English mathematician, logician, and cryptographer. Turing is often considered to be the father of modern computer science.
contest offers a cash prize for the winning entry. In the past it has ranged from a low of $100 to a high of $500. Cash prizes for second place are usually awarded as well.
S. Maxwell. Late Breaking Papers at the Genetic Programming 1996
Conference Stanford University July 28-31, 1996, стр. 125--128. Stanford University, CA, USA, Stanford Bookstore, (28--31 July 1996)
D. Howard. Late Breaking Papers at the Genetic Programming 1998
Conference, University of Wisconsin, Madison, Wisconsin, USA, Stanford University Bookstore, (22-25 July 1998)
J. Wrenn, S. Krishnamurthi, и K. Fisler. Proceedings of the 2018 ACM Conference on International Computing Education Research, стр. 51--59. New York, NY, USA, ACM, (2018)
D. Goldberg, и U. O'Reilly. Proceedings of the First European Workshop on Genetic
Programming, том 1391 из LNCS, стр. 16--36. Paris, Springer-Verlag, (14-15 April 1998)
D. Lawrie, C. Morrell, H. Feild, и D. Binkley. Proceedings of the 14th Conference on Program Comprehension (ICPC '06), стр. 3--12. IEEE Computer Society, (2006)
J. Daida, H. Li, R. Tang, и A. Hilss. Genetic and Evolutionary Computation -- GECCO-2003, том 2724 из LNCS, стр. 1665--1677. Chicago, Springer-Verlag, (12-16 July 2003)