28 citations · 40 across the 9 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Language Support for Adaptation: Intent-Driven Programming in FAST
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha +7
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its…
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…