Sciweavers

2501 search results - page 19 / 501
» Obligations and Their Interaction with Programs
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
14 years 9 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...
77
Voted
PADL
2010
Springer
15 years 6 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 1 months ago
Survey on User Interface Programming
Brad A. Myers, Mary Beth Rosson
QSIC
2005
IEEE
15 years 3 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