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:15PM (#13534772)
Any plans on offering formal methods for Céu?
[ Parent | on HN ]
Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:20PM (#13534808)
Some colleagues are working on an operational semantics of the language (based on the one in the thesis). This will allow us to prove some claims (e.g., reaction termination, bounded memory). Then, we may think about something else. Anything more specific in mind?
[ Parent | on HN ]
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 ]