Frank Nordemann

Learn More
The realization of wireless communication in rural environments suffers from long distances, unknown node mobility and discontinuous communication paths. Combination of delay-tolerant mobile ad-hoc networks and infrastructure-based mobile communications results in an increased number of communication opportunities in many usage scenarios. However, efficient(More)
Received In this paper we provide a categorical interpretation of the rst-order Hoare logic of a small programming language, by giving a weakest precondition semantics for the language. To this end, we extend the well-known notion of a ((rst-order) hyperdoctrine to include partial maps. The most important new aspect of the resulting partial ((rst order)(More)
  • 1