search

anthonye2007 / nier2015-vr

Future of Software Engineering with Consumer Virtual Reality
1 stars 0 forks source link

Liveness Definition and Citation #85

Closed anthonye2007 closed 9 years ago

anthonye2007 commented 9 years ago

Alpern defined liveness here: http://www.google.com/url?q=http%3A%2F%2Fwww.sciencedirect.com%2Fscience%2Farticle%2Fpii%2F0020019085900560&sa=D&sntz=1&usg=AFQjCNHI-lHBNnpWJ5_KenVnnnsb14phNw

I cited it to defend our definition of liveness, I'm letting you know in case you want to verify or remove.

The Alpern paper is mainly for distributed computing, but they say liveness has three properties: starvation freedom (a program makes progress infinitely often), termination (every update will come to an end), and guaranteed service (every change will result in an update).

chrisparnin commented 9 years ago

The best reference for liveness in programming is Tanimoto, 1990: Tanimoto, S. “VIVA: A visual language for image processing,” Journal of Visual Languages and Computing, Vol. 1, No. 2, pp.127-139, June 1990.

For a modern rehash of the same paper, see: http://www.cs.washington.edu/ole/Liveness2013.pdf

anthonye2007 commented 9 years ago

Replaced citation.