POPL


Also found in: Wikipedia.
AcronymDefinition
POPLPrinciples Of Programming Languages
References in periodicals archive ?
* TNF ** PoPl NE [ha.sup.-1] (g [kg.sup.-1] de M.S.) 1-MTS 31,30 (ns) 48889 (ns) 50000 (ns) 2-MTC 31,82 46111 50000 3-MMS 31,62 51111 51111 4-MMC 29,90 45000 48333 5-MBS 38,35 53889 51667 6-MBC 29,90 52222 54444 7-MRS 29,72 51667 50000 8-MRC 30,82 47778 50000 9-MCS 28,27 53889 47222 D.M.S.
The upgrade reflects timely servicing of debt by POPL since October 2009.
lactis type Bl-07 using alginate alone or alginate with POPL. To determine if adding POPL improved the viability of probiotic bacteria in acidic conditions, both ALG and POPL microcapsules were inoculated into pH 2.0 MRS broths.
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 142-154, New York, NY, USA, 2001.
TONIC has popped up on the Nethergate site in Dundee where the Popl Nero bar once stood A contemporary bar with all-day table service, Tonic serves food from morning to night.
22nd Annual ACM Symposium on Principles of Programming Languages (POPL).
In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93, Charleston, SC, Jan.
Graham Hamilton, who owns the trendy Popl Nero bar in the city, has revealed the lawyer is planning to sue.
Reddy and Kamin [1993] generalize Sekar et al.'s approach, which first appeared in POPL 1991, from a denotational perspective, by studying completeness of strictness analysis with respect to a so-called similarity concrete denotational semantics.
In Proceedings of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '92).
* POPL '94: 21st ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages
Gordon, "Modular verification of security protocol code by typing," in Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL '10), vol.