The SCEAS System
Navigation Menu

Journals in DBLP

SIGPLAN Notices
2002, volume: 37, number: 12

  1. Paul Frenger
    Going APE.FORTH to mars. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:9-13 [Journal]
  2. G. Alan Creak
    Edsger W. Dijkstra. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:14-16 [Journal]
  3. Cindy Norris
    Introduction to special issue. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:17- [Journal]
  4. Thomas Arts, Lars-Åke Fredlund
    Trace analysis of Erlang programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:18-24 [Journal]
  5. Ulf Wiger, Gösta Ask, Kent Boortz
    World-class product certification using Erlang. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:25-34 [Journal]
  6. Koen Claessen, Gordon J. Pace
    An embedded language approach to teaching hardware compilation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:35-46 [Journal]
  7. Koen Claessen, John Hughes
    Testing monadic code with QuickCheck. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:47-59 [Journal]
  8. Tim Sheard, Simon L. Peyton Jones
    Template meta-programming for Haskell. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:60-75 [Journal]
  9. Jean-Louis Giavitto, Olivier Michel, Julien Cohen
    Pattern-matching and rewriting rules for group indexed data structures. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:76-87 [Journal]
  10. Martin Erwig, Deling Ren
    A rule-based language for programming software updates. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:88-97 [Journal]
  11. Jan Friso Groote, Bert Lisser
    Computer assisted manipulation of algebraic process specifications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:98-107 [Journal]
  12. Miguel J. Hornos, Manuel I. Capel
    On-the-fly model checking from interval logic specifications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:108-119 [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