528 search results - page 100 / 106 » Transition Logic Revisited |
110
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
134
click to vote
ACRI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
121
Voted
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
133
click to vote
PPDP
2005
Springer
15 years 7 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...
126
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...