News for hackers. Stuff that matters.

A comment on Show HN: Céu, Structured Synchronous Reactive Programming. Parent comment

Re:Show HN: Céu, Structured Synchronous Reactive Programming by pron on Tuesday January 31, 2017 @03:40PM (#13534978)
Temporal logic verification (via model checking, static analysis, test generation, runtime checks etc.)?
[ Parent | on HN ]
Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:54PM (#13535114)
That would be interesting.

It seems to be feasible given the language semantics.

We'll definitely investigate it.

[ Parent | on HN ]