antigrav_kids_ifb Imported from Blogger

Thanks! There’s some fun math to try here. How’d your talk go, and where can we find a link to the paper?

2 replies

TudorTimi Verification Gentleman

The talk went ok, but not stellar (mostly, I guess, because it wasn’t a topic of general interest). The proceedings should be available online sometime soon. I’ll post a link when they are.

rgarcia071_ifb Imported from Blogger

Great article as usual Tudor! Can’t wait for the paper!

hypergraph_ifb Imported from Blogger

Very nice post!

One small hint: You can pull the unifications directly into the head, shortening your code a bit and making it immediately clear what the argument is:

gen_mem_burst(mem_burst(Len, Bursts)) :-
…

Actually, you can also improve the name, since this predicate can not only be used to generate, but also to test the argument. So mem\_burst/1 would be a nice declarative name for a predicate that works in several directions.

TudorTimi Verification Gentleman

The proceedings are up at https://dvcon-europe.org/conference/history/2015-proceedings