Journals in DBLP

SIGPLAN Notices
2006, volume: 41, number: 12

1. Paul Frenger
   Forth & small systems report: potential unrealized: the MicroMED advisor. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2006, v:41, n:12, pp:10-16 [Journal]
   
2. Fangjun Wu
   Formal specification of program slicing. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2006, v:41, n:12, pp:18-27 [Journal]
   
3. Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah
   TRICK: tracking and reusing compiler's knowledge. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2006, v:41, n:12, pp:28-37 [Journal]
   
4. B. Wang, C. Pronk
   Design and implementation of a GUI for the TLC model checker. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2006, v:41, n:12, pp:38-43 [Journal]
   
5. Alpana Dubey
   Goodness criteria for programming language grammar rules. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2006, v:41, n:12, pp:44-53 [Journal]