1411 search results - page 150 / 283 » Interactive Coding for Interactive Proofs |
EICS
2010
ACM
14 years 12 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
ULPAA
1994
14 years 11 months ago
1994
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
Many pervasive computing systems have been built for using mobile computers to interact with networked devices. To deploy a device's user-interface, several systems dynamical...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Many C++ extractors exist that produce syntax trees, call graphs, and metrics from C++ code, yet few offer integrated querying, navigation, and visualization of sourcecode-level f...