Sergei B. Pokrovsky

Publication Activity (10 Years)

Years Active: 1975-1977
Publications (10 Years): 0

Publications

Victor N. Kasyanov, Sergei B. Pokrovsky
Schematology in a Multi-Language Optimizer. MFCS (1977)
Sergei B. Pokrovsky
Formal types and their application to dynamic arrays in PASCAL. ACM SIGPLAN Notices 11 (10) (1976)
Sergei B. Pokrovsky
Semantic unification in a multi-language compiler. Methods of Algorithmic Language Implementation (1975)