Putting logic back into program logic
Are the programs logics that you see actually logical? On Wednesday 11 April 2018, ARTD Partner Andrew Hawkins, delivered a free seminar in Sydney organised by the Australasian Evaluation Society (AES), which was attended by approximately 50 people. Hawkins first briefly introduced his subject. His generalist definition of a program logic is “A one-page diagram… Read more