Sciweavers

2477 search results - page 38 / 496
» First-Order Interactive Programming
Sort
View
EMSOFT
2006
Springer
13 years 11 months ago
A hierarchical coordination language for interacting real-time tasks
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...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
FIW
2009
139views Communications» more  FIW 2009»
13 years 5 months ago
Problem-Solution Feature Interactions as Configuration Knowledge in Distributed Runtime Adaptations
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
Frans Sanen, Eddy Truyen, Wouter Joosen
HASKELL
2007
ACM
13 years 11 months ago
A lightweight interactive debugger for haskell
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...
Simon Marlow, José Iborra, Bernard Pope, An...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 1 days ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
CHI
2003
ACM
14 years 8 months ago
A contextual inquiry of expert programmers in an event-based programming environment
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...
Andrew Jensen Ko