Sciweavers

10622 search results - page 191 / 2125
» Python Programming Language
Sort
View
PPDP
2000
Springer
15 years 6 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
TOOLS
1997
IEEE
15 years 6 months ago
An Overview of JB (Jade Bird) Component Library System JBCL
Keqin Li 0002, Lifeng Guo, Hong Mei, Fuqing Yang
POPL
1995
ACM
15 years 6 months ago
Demand-driven Computation of Interprocedural Data Flow
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa