Проблеми на изразната явност в текстове на програми

ИМИ-БАН, 4.06.2014 г., присъждане на образователна и научна степен "доктор" на Бойко Блажев Банчев по научна специалност 01.01.12 информатика. [Banchev Boyko Blajev; Банчев Бойко Блажев

Elementary data structures in ALGOL-like languages

AbstractJ.C. Reynolds has pointed out that ALGOL 60 has a set of properties not shared by most of the languages usually regarded as being its successors. We propose to use this ALGOL-like framework to design a language that could adequately support both applicative and imperative programming while also retaining the advantages of each of the “pure” frameworks. This paper discusses elementary data-structuring facilities (products, arrays, sums) for such a language, taking advantage of recent developments, such as this author's “quantification” notation, and the notion of “conjunctive type” proposed by Coppo and Dezani, and adapted to explicitly-typed languages by Reynolds

Introduction to the Literature on Programming Language Design

This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search