3713 search results - page 61 / 743 » Constructing a Calculus of Programs |
110
Voted
JLP
2002
15 years 2 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
130
Voted
GECCO
1999
Springer
15 years 7 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
154
Voted
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
134
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
139
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...