BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/3960/16-June-2011-The-PlusCal-Algorithm-Language-
Leslie-Lamport
DTSTAMP:20110605T000000
SUMMARY:The PlusCal Algorithm Language, Leslie Lam
port
ATTENDEE;ROLE=Speaker:Leslie Lamport
DTSTART:20110616T160000
DTEND:20110616T000000
LOCATION:Turing room, CWI, Science Park, Amsterdam
, The Netherlands
DESCRIPTION:Algorithms are different from programs
and should not be described with programming lang
uages. For example, algorithms are usually best de
scribed in terms of mathematical objects like sets
and graphs instead of the primitive objects like
bytes and integers provided by programming languag
es. Until now, the only simple alternative to prog
ramming languages has been pseudo-code. PlusCal
is an algorithm language based on TLA+. A PlusCal
algorithm is automatically translated to a TLA+ s
pecification that can be checked with the TLC mode
l checker or reasoned about formally. (No knowledg
e of TLA+ is assumed.) PlusCal makes pseudo-code o
bsolete. For more information, see k.r.apt at cw
i.nl
X-ALT-DESC;FMTTYPE=text/html:\n Algorit
hms are different from programs and should not be
described\n with programming languages. F
or example, algorithms are usually best\n
described in terms of mathematical objects like se
ts and graphs\n instead of the primitive o
bjects like bytes and integers provided by\n
programming languages. Until now, the only sim
ple alternative to\n programming languages
has been pseudo-code.\n

\n \
n PlusCal is an algorithm language based o
n TLA+. A PlusCal algorithm\n is automati
cally translated to a TLA+ specification that can
be\n checked with the TLC model checker or
reasoned about formally. (No\n knowledge
of TLA+ is assumed.) PlusCal makes pseudo-code ob
solete.\n

\n \n For more i
nformation, see k.r.apt at cwi.nl

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/3960/16-June-2011-The-PlusCal-Algorithm-Language-
Leslie-Lamport
END:VEVENT
END:VCALENDAR