411 search results - page 49 / 83 » Algebraic Imperative Specifications |
124
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
150
click to vote
SCP
2000
15 years 1 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
IFIPTCS
2000
15 years 5 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
106
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
120
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...