Campus Event Calendar
Event Entry
What and Who
Towards Verification and Debugging of Concurrent Constraint Programs through Abstract Interpretation with Set Constraints (Part II)
Andreas Podelski
MPII
Logik-Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 25 September 96
10:45
60 Minutes
46.1 - MPII
023
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
I will recapitulate the notions from my first talk
and try to illustrate them with examples. I will define
the set of even number as the least (and not the greatest)
solution. I will still, however, use neither boxes nor
diamonds nor circles...
and try to illustrate them with examples. I will define
the set of even number as the least (and not the greatest)
solution. I will still, however, use neither boxes nor
diamonds nor circles...