Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 34, Number 9, 1997

A fine-grained data-flow analysis framework
pp. 653-666(14)
Author: Hsieh, C. S.

Favourites:
ADD

Using the causal domain to specify and verify distributed programs
pp. 667-686(20)
Authors: Garg, V. K.; Tomlinson, A.

Favourites:
ADD

An analysis and implementation of an efficient in-place bucket sort
pp. 687-700(14)
Authors: Burnetas, A.; Solow, D.; Agarwal, R.

Favourites:
ADD

Metric semantics from partial order semantics
pp. 701-735(35)
Authors: Baler, C.; Majster-Cederbaum, M. E.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more