Well the fact that it’s direct ancestor, lustre, was used in several plane designs was impressive. Here are the slides, which I’ve also shared directly on lobsters.
Personally I’d be very interested in applying it in distributed applications, I feel like operating on multidimensional streams is a good way of handling events from different services.
Oh, OK. Must have been me skimming it tired not picking up on the name Lucid. I’ve mentioned Esterel SCADE in a lot of places. ;) Thanks for the slides, though, as I mostly read this stuff out of curiosity and collect it in case I can use it more practically down the road. Slides had a lot of good info. It’s kind of mind-bending coming from my background. Well, the thinking style at least: that it turns into FSM’s was pretty predictable.
I also like that they included this success story in there given a lot of people that think no formal methods work on large systems: “750,000 lines of automatically generated C code, formally verified using abstract interpretation.”
I assisted a presentation from John Plaice at lambda montreal, it’s a pretty cool language!
Cool! Did you see anything practical in it that could be used in a DSL? That’s in terms of expressiveness or verification especially.
Well the fact that it’s direct ancestor, lustre, was used in several plane designs was impressive. Here are the slides, which I’ve also shared directly on lobsters.
Personally I’d be very interested in applying it in distributed applications, I feel like operating on multidimensional streams is a good way of handling events from different services.
Oh, OK. Must have been me skimming it tired not picking up on the name Lucid. I’ve mentioned Esterel SCADE in a lot of places. ;) Thanks for the slides, though, as I mostly read this stuff out of curiosity and collect it in case I can use it more practically down the road. Slides had a lot of good info. It’s kind of mind-bending coming from my background. Well, the thinking style at least: that it turns into FSM’s was pretty predictable.
I also like that they included this success story in there given a lot of people that think no formal methods work on large systems: “750,000 lines of automatically generated C code, formally verified using abstract interpretation.”