The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
2000, volume: 37, number: 1-3

  1. Rutger M. Dijkstra
    Computation calculus bridging a formalization gap. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:3-36 [Journal]
  2. Jeremy Gibbons
    Generic downwards accumulations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:37-65 [Journal]
  3. John Hughes
    Generalising monads to arrows. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:67-111 [Journal]
  4. Rajeev Joshi, K. Rustan M. Leino
    A semantic approach to secure information flow. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:113-138 [Journal]
  5. Burghard von Karger
    A calculational approach to reactive systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:139-161 [Journal]
  6. Morten Heine Sørensen
    Convergence of program transformers in the metric space of trees. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:163-205 [Journal]
  7. C. Barry Jay
    Costing parallel programs as a function of shapes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:207-224 [Journal]
  8. Thomas Nitsche
    Shapeliness analysis of functional programs with algebraic data types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:225-252 [Journal]
  9. Frédéric Loulergue, Gaétan Hains, Christian Foisy
    A calculus of functional BSP programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:253-277 [Journal]
  10. Kenneth L. McMillan
    A methodology for hardware verification using compositional model checking. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:279-309 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002