The SCEAS System
Navigation Menu

Conferences in DBLP

Algorithmic Languages and Calculi (alc)
1997 (conf/alc/1997)

  1. Sharon Curtis
    Dynamic programming: a different perspective. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:1-23 [Conf]
  2. Bernhard Möller
    Calculating with pointer structures. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:24-48 [Conf]
  3. Matteo Vaccari, Roland Carl Backhouse
    Deriving a systolic regular language recognizer. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:49-72 [Conf]
  4. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    A calculational fusion system HYLO. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:76-106 [Conf]
  5. Eric Violard, Stéphane Genaud, Guy-René Perrin
    Refinement of data parallel programs in PEI. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:107-131 [Conf]
  6. Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper
    Solving large systems of differential equations in parallel using covers and skeletons. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:132-159 [Conf]
  7. Yellamraju V. Srinivas
    Refinement of parameterized algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:164-186 [Conf]
  8. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Towards a compositional interpretation of object diagrams. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:187-211 [Conf]
  9. Marc Frappier, Ali Mili, Jules Desharnais
    Defining and detecting feature interactions. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:212-239 [Conf]
  10. José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
    Synthesising interconnections. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:240-264 [Conf]
  11. Klaus Achatz, Helmuth Partsch
    A powerful transformation rule, its applications and variants. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:265-295 [Conf]
  12. Alberto Pettorossi, Maurizio Proietti
    Program derivation via list introduction. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:296-323 [Conf]
  13. David S. Wile
    Towards a calculus for abstract syntax trees. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:324-353 [Conf]
  14. Yanhong A. Liu
    Principled strength reduction. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:357-381 [Conf]
  15. Deepak Goyal, Robert Paige
    The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:382-414 [Conf]
  16. Theodore S. Norvell
    Predicative semantics of loops. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:415-437 [Conf]
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