7961 search results - page 258 / 1593 » Input-Output Model Programs |
128
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
134
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
130
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
149
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
134
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...