S. Ho rwitz, J. Prins, and T. Reps. Integrating n o-interfering versio s o pro770 s. ACM Transactions on Programming Languages and Systems, 11(3):345--387, July 1989. 300 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Massively Parallel Programming Languages - A Classification .. - Gellerich, Gutzmann (Correct)
....ASL [30, 22] and EPL [64] organize programs around equations over arrays. These languages are primarily designed for scientific application and do not claim to be general. However, it has also been suggested to extend the equation based approach by more general data structures like lists and sets [36]. The model behind ASL are recurrence equations [40, 44] ASL was developed for static problems that have the same algorithmic power as primitive recursive functions [33] Further properties of ASL are single assignment variables and the renunciation of pointers which results in the absence of ....
C.M. Ho#mann and M.J. O'Donnell. Programming with Equations. ACM Transactions on Programming Languages and Systems, 4(1):83--112, 1982.
Program Slicing of Hardware Description Languages - Clarke Fujita Rajan (1999) (11 citations) Self-citation (Reps) (Correct)
No context found.
S. Ho rwitz, J. Prins, and T. Reps. Integrating n o-interfering versio s o pro770 s. ACM Transactions on Programming Languages and Systems, 11(3):345--387, July 1989. 300
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC