2911 search results - page 272 / 583 » A Theory of Expressiveness in Mechanisms |
183
click to vote
ISOLA
2007
Springer
16 years 23 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
163
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
153
click to vote
PEPM
2007
ACM
16 years 23 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
177
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
176
click to vote
ICTAI
2006
IEEE
16 years 20 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...