5377 search results - page 219 / 1076 » Programming Languages For Interactive Computing |
107
Voted
ENTCS
2002
15 years 19 days ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
91
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
123
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
117
Voted
HCI
2009
14 years 10 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...