el Boustani, Nabil; Hage, Jurriaan Improving type error messages for generic Java. (English) Zbl 1256.68026 High.-Order Symb. Comput. 24, No. 1-2, 3-39 (2011). MSC: 68N15 68N20 PDF BibTeX XML Cite \textit{N. el Boustani} and \textit{J. Hage}, High.-Order Symb. Comput. 24, No. 1--2, 3--39 (2011; Zbl 1256.68026) Full Text: DOI
Simmons, Robert J.; Pfenning, Frank Logical approximation for program analysis. (English) Zbl 1256.68045 High.-Order Symb. Comput. 24, No. 1-2, 41-80 (2011). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{R. J. Simmons} and \textit{F. Pfenning}, High.-Order Symb. Comput. 24, No. 1--2, 41--80 (2011; Zbl 1256.68045) Full Text: DOI
Chen, Kung; Weng, Shu-Chun; Lin, Jia-Yin; Wang, Meng; Khoo, Siau-Cheng Side-effect localization for lazy, purely functional languages via aspects. (English) Zbl 1256.68031 High.-Order Symb. Comput. 24, No. 1-2, 151-189 (2011). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{K. Chen} et al., High.-Order Symb. Comput. 24, No. 1--2, 151--189 (2011; Zbl 1256.68031) Full Text: DOI
Pardo, Alberto; Fernandes, João Paulo; Saraiva, João Shortcut fusion rules for the derivation of circular and higher-order programs. (English) Zbl 1256.68034 High.-Order Symb. Comput. 24, No. 1-2, 115-149 (2011). MSC: 68N18 68P05 PDF BibTeX XML Cite \textit{A. Pardo} et al., High.-Order Symb. Comput. 24, No. 1--2, 115--149 (2011; Zbl 1256.68034) Full Text: DOI
Salama, Cherif; Malecha, Gregory; Taha, Walid; Grundy, Jim; O’Leary, John Static consistency checking for Verilog wire interconnects. (English) Zbl 1256.68027 High.-Order Symb. Comput. 24, No. 1-2, 81-114 (2011). MSC: 68N17 68N15 PDF BibTeX XML Cite \textit{C. Salama} et al., High.-Order Symb. Comput. 24, No. 1--2, 81--114 (2011; Zbl 1256.68027) Full Text: DOI
Lawall, Julia (ed.); Puebla, Germán (ed.); Vidal, Germán (ed.) Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop on partial evaluation and program manipulation (PEPM), Savannah, GA, USA, January 19–20, 2009. (English) Zbl 1294.68021 High.-Order Symb. Comput. 24, No. 1-2, 189 p. (2011). MSC: 68-06 68Nxx 00B25 PDF BibTeX XML Cite \textit{J. Lawall} (ed.) et al., High.-Order Symb. Comput. 24, No. 1--2, 189~p. (2011; Zbl 1294.68021)