2501 search results - page 45 / 501 » Obligations and Their Interaction with Programs |
EMSOFT
2006
Springer
14 years 12 days ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
FIW
2009
13 years 6 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
HASKELL
2007
ACM
14 years 18 days ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...