วรรณคดีเรื่องการวิเคราะห์นามแฝง

ฉันเขียนวิทยานิพนธ์ปริญญาโทของฉันใน CS และฉันทำงานกับการวิเคราะห์นามแฝง สิ่งที่ฉันสนใจคือการวิเคราะห์ที่ละเอียดอ่อนที่จำเป็นต้องมี

ฉันกำลังค้นหาข้อความที่อธิบายพื้นฐานของเรื่องนี้อย่างละเอียด แต่ไม่สามารถระบุสิ่งที่เหมาะสมได้

ฉันรอดชีวิตจากหนังสือตำราจำนวนหนึ่งเกี่ยวกับคอมไพเลอร์และการวิเคราะห์แบบคงที่ แต่ไม่พบสิ่งใดที่นั่น

ฉันพบเอกสารจำนวนมากที่ใช้การวิเคราะห์นามแฝง แต่ส่วนใหญ่เน้นไปที่ปัญหาที่ใช้การวิเคราะห์นามแฝงและไม่ได้อธิบายขั้นตอนวิธีการวิเคราะห์นามแฝงโดยละเอียด บางคนมุ่งเน้นที่ C ซึ่งไม่เหมาะสมเนื่องจากความซับซ้อนที่เพิ่มขึ้นของตัวชี้ทั่วไป

ข้อความที่ดีที่สุดที่ฉันได้ค้นพบคือCompositional Pointer and Escape Analysis สำหรับโปรแกรม Javaโดย Whaley and Rinard มันเป็นกระดาษที่ยอดเยี่ยมและเป็นจุดเริ่มต้นที่ดี แต่มันไม่ได้กล่าวถึงการวิเคราะห์นามแฝงโดยเฉพาะ

ปัญหาดูเหมือนทั่วไปดังนั้นฉันคาดหวังว่าจะมีอัลกอริทึมที่ยอมรับได้เพื่อแก้ปัญหา

ไม่มีใครมีตัวชี้ไปยังข้อความในเรื่องนี้หรือไม่?

มีกระดาษสำรวจล่าสุดมากที่มีอยู่ในเรื่องการวิเคราะห์นามแฝงสำหรับโปรแกรมเชิงวัตถุ

จะมีการเผยแพร่ในเดือนเมษายนในปริมาณ LNCS state-of-the-art (แจ้งเตือนการโฆษณาฟรี): นามแฝงในการเขียนโปรแกรมเชิงวัตถุ : ประเภทการวิเคราะห์และการตรวจสอบ หมายเหตุการบรรยายในวิทยาการคอมพิวเตอร์, บทที่. 7850. Dave Clarke, Tobias Wrigstad, James Noble (Eds.)