Sciweavers

2501 search results - page 19 / 501
» Obligations and Their Interaction with Programs
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
14 years 11 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
65
Voted
CHI
2006
ACM
16 years 4 days ago
Finding design qualities in a tangible programming space
Ylva Fernaeus, Jakob Tholander
85
Voted
PADL
2010
Springer
15 years 8 months ago
First-Order Interactive Programming
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
Roly Perera
CHI
1992
ACM
15 years 3 months ago
Survey on User Interface Programming
Brad A. Myers, Mary Beth Rosson
QSIC
2005
IEEE
15 years 5 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han