Adding to the research map

Today I continued with mapping out and (briefly) abstracting my computerized research papers. I got 18 of them today before I ran out of steam. Today's set included a lot of more academic articles, as well as a few of the seminal papers on formal semantics. I've only been reading abstracts and skimming, but some of these look very interesting.

The papers from today include:

  1. Three papers from Clarke and Halpern (though not necessarily together) on constructing complete Hoare axiom systems for certain classes of programming language.
  2. Another paper that introduces a language with a complete Hoare axiomatization.
  3. A paper on teaching denotational semantics by translaing the rules into Prolog.
  4. A paper on an undergrad compiler project in Ada95. Not sure what that has to do with formal methods, unless they're using SPARK. Or maybe I just downloaded it because of my Ada95 fetish.
  5. Two papers dealing with the semantic effects of aliases, one of which took an interesting sounding approach to the axiomatic semantics.
  6. Two papers related to automated theorem proving.
  7. A paper giving an axiomatic treatment of the effects of exception handling.
  8. Three foundational papers on axiomatic semantics, including the article that introduced Hoare logics, Dijkstra's guarded command article, and Gries's article on the semantics of procedure calls.
  9. A more philosophical paper by Dijkstra on why formal methods seem to be looked down upon.
  10. An article on rigorous proof of correctness without actually using the notation of formal methods.
  11. A paper on using formal methods to keep costs down in commercial projects.
  12. An overview of various research areas in programming languages which includes sections on semantics.

I should be able to finish most of the electronic papers tomorrow. Then I can move on to that pile of paper sitting on my shelf. And after that, I can start organizing my mind map and start figuring out where to go from here.

You can reply to this entry by leaving a comment below. This entry accepts Pingbacks from other blogs.

Add your comments #

A comment body is required. No HTML code allowed. URLs starting with http:// or ftp:// will be automatically converted to hyperlinks.