Revised4 report on the algorithmic language scheme

By Michael R. Blair, G. Carrette, Andy Cromarty, Pavel Curtis, Jeffrey Dalton, O. Danvy, K. Dickey, Andy Freeman, Richard Gabriel, Yekta Gfirsel and 17 more. 1991

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

  1. Cormac Flanagan
  2. K. Rustan M. Leino

Citations in the corpus