Sciweavers

2477 search results - page 36 / 496
» First-Order Interactive Programming
Sort
View
FP
1992
87views Formal Methods» more  FP 1992»
15 years 6 months ago
On Program Transformation in the Glasgow Haskell Compiler
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
André Santos, Simon L. Peyton Jones
INTERACT
1997
15 years 3 months ago
Teaching User Interface Design and Programming to Computer Science majors
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
Judy Kay, Bob Kummerfeld
OOPSLA
2010
Springer
15 years 10 days ago
Programming with time: cyber-physical programming with impromptu
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
Andrew Sorensen, Henry Gardner
ASE
2004
137views more  ASE 2004»
15 years 1 months ago
Automatically Restructuring Programs for the Web
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
Jacob Matthews, Robert Bruce Findler, Paul T. Grau...
SIGSOFT
2004
ACM
16 years 2 months ago
A classification system and analysis for aspect-oriented programs
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
Martin C. Rinard, Alexandru Salcianu, Suhabe Bugra...