2477 search results - page 20 / 496 » First-Order Interactive Programming |
164
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
ENTCS
2008
14 years 9 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
65
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
128
click to vote
ARES
1998
Springer
15 years 1 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
72
Voted
INTERACT
2003
14 years 11 months ago
2003
: In 1998 the Stan Ackermans Institute at the Technical University Eindhoven (TU/e), the Netherlands, founded the User System Interaction (USI) Design Program. This program is a tw...