4743 search results - page 1 / 949 » The PlusCal Algorithm Language |
93
Voted
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
206
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
131
Voted
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
101
Voted
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
