Stem pli$ (all stems)

2 papers:

DAC-2003-SaifhashemiP #abstraction #framework #modelling

Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction (AS, HP), pp. 330–333.

PPDP-2002-JonesG #analysis #generative #termination

Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.