Quantcast
Channel: The Shape of Code » formal analysis
Browsing all 2 articles
Browse latest View live

What I changed my mind about in 2008

A few years ago The Edge asked people to write about what important issue(s) they had recently changed their mind about. This is an interesting question and something people ought to ask themselves...

View Article



The POPL 2015 papers involving C

SIGPLAN (the ACM Special Interest Group on Programming LANguages) has just made available many of the papers that have been accepted for their 2015 POPL conference (Principles of Programming...

View Article
Browsing all 2 articles
Browse latest View live




Latest Images