MPG.eBooks - Search Results - (("descending colon") OR ("descending chain"))

Search alternatives:
"descending colon" » "ascending colon", "descending motor", "descending down"
"descending chain" » "descending chains", "ascending chain", "descending pain"

Cover Image

1

Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... -- Interprocedural Dataflow Analysis over WeightDomains with Infinite Descending Chains -- Realizability Semantics...”