268 search results - page 15 / 54 » Interactive design by children: a construct map for programm... |
105
Voted
TABLETOP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces TurTan, a tangible programming language for creative exploration inspired by Logo, which uses a tabletop interface with tangible objects. The aim of this pro...
102
click to vote
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
172
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
OOGRAPHICS
1992
15 years 2 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...