643 search results - page 50 / 129 » A browser for incremental programming |
144
Voted
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
262
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
165
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
117
Voted
IADIS
2003
15 years 4 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
110
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...