Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FAC
2008
123views more  FAC 2008»
11 years 7 months ago
Interface synthesis and protocol conversion
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
Purandar Bhaduri, S. Ramesh
FAC
2006
72views more  FAC 2006»
11 years 8 months ago
A Calculus and logic of resources and processes
David J. Pym, Chris M. N. Tofts
FAC
2006
104views more  FAC 2006»
11 years 8 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne
FAC
2006
67views more  FAC 2006»
11 years 8 months ago
Tank monitoring: a pAMN case study
Steve Schneider, Thai Son Hoang, Ken Robinson, Hel...
FAC
2006
92views more  FAC 2006»
11 years 8 months ago
Action Refinement Applied to Late Decisions
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
Harald Fecher, Mila E. Majster-Cederbaum
FAC
2006
79views more  FAC 2006»
11 years 8 months ago
A formal relationship between program slicing and partial evaluation
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation i...
David Binkley, Sebastian Danicic, Mark Harman, Joh...
FAC
2006
122views more  FAC 2006»
11 years 8 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
books