An Abstract Interpretation Framework for (almost) Full Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. An Abstract Interpretation Framework for (almost) Full Prolog. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 92-106, 1994.

This author has not been identified. Look up 'Baudouin Le Charlier' in GoogleThis author has not been identified. Look up 'Sabina Rossi' in GoogleThis author has not been identified. Look up 'Pascal Van Hentenryck' in Google

runs on WebDSL