140 citations · 224 across the 13 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.FL2018★ 2 cited
The language preservation problem is undecidable for parametric event-recording automata
Étienne André, Shang-Wei Lin
Parametric timed automata (PTA) extend timed automata with unknown constants ("parameters"), at the price of undecidability of most interesting problems. The (untimed) language pre…
cs.PL2018★ 10 cited
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin +3
Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete program…
cs.PL2018★ 2 cited
An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
Shuanglong Kan, Zhe Chen, David Sanan +2
Rust is an emergent systems programming language highlighting memory safety by its Ownership and Borrowing System (OBS). The existing formal semantics for Rust only covers limited…