In Partnership with AOL
See also:
  • Tempo: A Declarative Concurrent Programming Language - Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness. (January 01, 1995)
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites | MusicMoz | Wikipedia

Last update: May 29, 2015 at 8:15:11 UTC - edit