13 citations · 24 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 1 cited
Compile-Time Extensions to Hybrid ODEs
Yingfu Zeng, Ferenc Bartha, Walid Taha
Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid syst…
cs.PL2011★ 1 cited
Accurate Programming: Thinking about programs in terms of properties
Walid Taha, Veronica Gaspes, Rex Page
Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state…