411 search results - page 19 / 83 » Algebraic Imperative Specifications |
110
click to vote
JDWM
2008
15 years 1 months ago
2008
This article deals with multidimensional analyses. Analyzed data are designed according to a conceptual model as a constellation of facts and dimensions, which are composed of mul...
116
click to vote
POPL
1992
ACM
15 years 6 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
115
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
113
click to vote
ENTCS
2008
15 years 2 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
133
click to vote
ISSAC
2004
Springer
15 years 7 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...