You have Guest access.
Log In
Volume 11 / 1998 - Volume 23 / 2010
Formerly LISP and Symbolic Computation (1988-1998)
Remove criteria to expand these results
Add criteria from below to refine these results
Static consistency checking for Verilog wire interconnects Using dependent types to check the sanity of Verilog descriptions
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy and John O’Leary
Online First™, 3 September 2011
Shortcut fusion rules for the derivation of circular and higher-order programs
Alberto Pardo, João Paulo Fernandes and João Saraiva
Online First™, 22 July 2011
Logical approximation for program analysis
Robert J. Simmons and Frank Pfenning
Online First™, 21 June 2011
Improving type error messages for generic Java
Nabil el Boustani and Jurriaan Hage
Online First™, 15 June 2011
Side-effect localization for lazy, purely functional languages via aspects
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang and Siau-Cheng Khoo
Online First™, 14 June 2011
Editorial
Julia Lawall, Germán Puebla and Germán Vidal
Online First™, 3 June 2011
FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info