15 search results - page 2 / 3 » fac 2010 |
FAC
2010
13 years 5 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
FAC
2010
13 years 5 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...
FAC
2010
13 years 4 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
FAC
2010
13 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
AR
2010
13 years 6 months ago
2010
This article investigates the influence of animal-like features (ears of a dragon lizard and crown of a cockatoo) and their pose variations on the quality of emotion expression of...