Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

摘要

A Festschrift volume is always a bit different than standard collections of papers: while they usually still possess a definite set of themes, as the current one does, there is also a certain freedom to explore ideas in a different way. This is due, in part, to the fact that such papers have less constraints (on length, scientific novelty, and so on); authors can take advantage of this to write a "gem" of a paper that simultaneously explains some ideas and pays tribute to the honorees, in this case, Hanne Riis Nielson and Flemming Nielson. Both have worked on a variety of topics, largely centered on program analysis.