474 search results - page 72 / 95 » A Framework for Comparing Type Systems for Database Programm... |
SIGITE
2004
ACM
14 years 2 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
BMCBI
2006
13 years 9 months ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...