1050 search results - page 114 / 210 » Generating Executable Scenarios from Natural Language |
102
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
104
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
130
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
128
Voted
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
147
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...