4743 search results - page 1 / 949 » The PlusCal Algorithm Language |
80
Voted
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
185
Voted
SBMF
2010
Springer
14 years 10 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...
118
Voted
VL
1996
IEEE
15 years 7 months ago
1996
IEEE
110
Voted
VL
1993
IEEE
15 years 7 months ago
1993
IEEE
88
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
