Groovy

swMATH26072MaRDI QIDQ37805FDOQ37805

Author name not available (Why is that?)

Cited In (2)

• Sound and Complete Flow Typing with Unions, Intersections and Negations
• Magic-sets for localised analysis of Java bytecode

This page was built for software: Groovy