Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
Saarland University
A Step-indexed Semantics of Imperative Objects
Nested Hoare Triples and Frame Rules for Higher-order Store
No associations
LandOfFree
Jan Schwinghammer does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jan Schwinghammer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan Schwinghammer will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-302026