5377 search results - page 219 / 1076 » Programming Languages For Interactive Computing |
187
Voted
ENTCS
2002
15 years 6 months 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...
176
click to vote
ESOP
2007
Springer
16 years 1 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...
163
Voted
LPAR
2005
Springer
16 years 14 days 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...
200
click to vote
MEMOCODE
2010
IEEE
15 years 4 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...
195
click to vote
HCI
2009
15 years 4 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...