9 papers:
PASTE-1999-Preston #fortran #legacy- New Type Signatures for Legacy Fortran Subroutines (NWP), pp. 76–85.
POPL-1999-OCallahn #bytecode #java #type system- A Simple, Comprehensive Type System for Java Bytecode Subroutines (RO), pp. 70–78.
SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
- POPL-1998-StataA #bytecode #java #type system
- A Type System for Java Bytecode Subroutines (RS, MA), pp. 149–160.
KBSE-1994-LowryPPU #automation #library #named #programming- AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
CADE-1994-StickelWLPU #composition #deduction #library- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
LFP-1988-Roylance- Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.
ICALP-1974-Lomet #automation #generative #multi #parsing- Automatic Generation of Multiple Exit Parsing Subroutines (DBL), pp. 214–231.
DAC-1968-Dunne- Graphic applications subroutine packages (WLD).
