Campus Event Calendar
Event Entry
New for: D3
What and Who
The PlusCal Algorithm Language
Leslie Lamport
Microsoft Research
MPI-INF Distinguished Speaker Series
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 9 June 2010
16:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
Algorithms are different from programs and should not be described
with programming languages. For example, algorithms are usually best
described in terms of mathematical objects like sets and graphs
instead of the primitive objects like bytes and integers provided by
programming languages. Until now, the only simple alternative to
programming languages has been pseudo-code.
PlusCal is an algorithm language based on TLA+. A PlusCal algorithm
is automatically translated to a TLA+ specification that can be
checked with the TLC model checker or reasoned about formally. (No
knowledge of TLA+ is assumed.)
PlusCal makes pseudo-code obsolete.
Contact
Jennifer Müller
900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 05/31/2010 10:50
Jennifer Müller, 05/27/2010 10:26 -- Created document.
Jennifer Müller, 05/27/2010 10:26 -- Created document.