Subscribe to RSSPost Tagged with: "Declare"
Just for Wil
Is was bored. I was making slides. Then this happened:May I have a raise now?Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...
Strongly Connected Components in Declarative Models
Yesterday, I wrote about the colored automaton implementation in Declare including mentioning that it is now possible to export such automata directly from within...
Colored Automata in Declare
I just finished the implementation of colored automata in Declare. The formal foundation is described inF. M. Maggi, M. Montali, M. Westergaard,...
Time is Not a Four-letter Word
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice...
Declare Rebranding
Faced with the threat of work, I decided to rebrand Declare. I basically changed the name to lowercase (from typographically ugly and misleading DECLARE), changed...
Recent Comments