Things are getting interesting. The book is only about 90 pages long.
But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.
@jmw150 How similar is this to a genetic programming approach? Are they leveraging neural networks? If so, how transparent are the resultant programs to analysis?
It is more advanced. Yes. Very, more so than regular programs in a lot of ways.
It is a concept that comes out of the formal methods community. A more descriptive title is more like "automated program synthesis via mathematical logic and deep learning".
@jmw150 I may actually use this for my thesis if I can grok it, thank you so much for posting it!! 😄
I'm sorry- but I can't see myself spending $60USD for a 90 page book :/
maybe $20 at most... I've been ripped off enough by IEEE to know better than to pay more for what I already somewhat read somewhere else in some other fashion.
Now if this was a detailed reference manual- then I can justify it more to myself.
This looks like it is the same book.
Possible free access through univerities
QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.