Abstract interpretation of declarative languagesde Samson Abramsky, Chris HankinMateriasCompiling (Electronic computers)SemanticsProgramming languages (Electronic computers)Ediciones (1)Abstract interpretation of declarative languages (1987)E. Horwood · inglésMás obras de Samson AbramskyM
