../code/conceptPage.scroll

id alphard
name AlpHard
appeared 1996
tags pl
lab Institut de Recherche en Informatique et Systèmes Aléatoires && Colorado State University && CNET or France telecom

reference https://semanticscholar.org/paper/a6805b97cc161473e0a607ec3b21700bccf095e2

hopl https://hopl.info/showlanguage.prx?exp=2242

semanticScholar 3
 year|title|doi|citations|influentialCitations|authors|paperId
 1976|An introduction to the construction and verification of Alphard programs|10.1109/TSE.1976.233830|321|7|W. Wulf and R. L. London and M. Shaw|7d06bf84338e89456f609896de4e41f61086d98e
 1981|Preliminary) An Informal Definition of Alphard|10.1007/978-1-4612-5979-4_13|6|0|P. Hilfinger and G. Feldman and Robert P. Fitzgerald and I. Kimura and R. L. London and K. V. S. Prasad and V. R. Prasad and Jonathan Rosenberg and M. Shaw and W. Wulf|7f7a88dff66ffba91b67e4a5985f08eaf3977a9c
 1978|An informal definition of Alphard (Preliminary)|10.21236/ada058871|6|0|W. Wulf and P. Hilfinger and Robert P. Fitzgerald and I. Kimura and R. L. London|75f852ec34afda8a477bc3909118c2d37e3e514e