Sergei B. Pokrovsky

According to our database¹, Sergei B. Pokrovsky authored at least 3 papers between 1975 and 1977.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1977

Schematology in a Multi-Language Optimizer.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Formal types and their application to dynamic arrays in PASCAL.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1976

1975

Semantic unification in a multi-language compiler.

[BibT_eX]

[DOI]

Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975