Stem pil$ (all stems)

3 papers:

IFL-2010-BoeijinkHK #functional #lazy evaluation

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.

SLE-2009-HemelV #domain-specific language #framework #independence #named

PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.

CAV-1999-Schumann #analysis #authentication #automation #named #protocol

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols (JS), pp. 500–504.