- Utworzono: poniedziałek, 24 luty 2020 06:44
- Poprawiono: piątek, 22 maj 2020 17:19
- Odsłony: 3235

This section provides access to the presentations for the course “Denotational Engineering of Programming Languages” conducted during the spring semester of the academic year 2019/2020 at the Department of Mathematics, Informatics, and Mechanics of Warsaw University.

Presentations will be updated as comments are received from listeners. The names of updated files will not change, but the date of the last modification will be shown on this site. To download a file, click on its name. Section numbers refer to the book “A Denotational Engineering of Programming Languages,” which can also be uploaded from this page.

0 A.Blikle - An invitation to a project.pdf by February 24th, 2020

The description of what the project is about.

0 A.Blikle - Jak to zrobimy.pdf (How we shall we do it) by Feb 24th, 2020

This presentation is exceptionally in Polish. It explains the idea of how our project will be realized by the group of listeners of the course organized as an innovative startup, which should be a self-organizing team (a teal teem). More on teal organizations in the book of Andrzej Blikle “Turkusowa doktryna Jakości,” also to be downloaded from this site. An English version of this book will we available in the near future.

1 A.Blikle - DEPL Preliminaries.pdf by March 3rd, 2020

Preliminary concepts and notations: Chain-complete partially ordered sets (CPOs), CPO of formal languages and equational grammars, many-sorted algebras, CPO od binary relations, and of domains, abstract errors, a three-valued propositional calculus. Sections 2.1 - 2.9

2 A.Blikle - DEPL Many-sorted algebras.pdf by March 7^{th}, 2020

Many-sorted algebras in general. Algebras of syntax. Abstract, concrete and colloquial syntax. Ambiguous and unambiguous algebras. Algebras of syntax versus equational grammars. Sections 2.20 - 2.14

3 A.Blikle - DEPL Lingua-A From data to values.pdf by May 22^{nd}, 2020

Data, bodies, composites, yokes, and values. The fundament for Lingua-A which constitutes an applicative layer of Lingua. Sections 4.1 - 4.3.

4 A.Blikle - DEPL Lingua-A Expressions.pdf by May 2n^{nd}, 2020

Data expressions, and type-expressions. Sections 4.4. - 4.8

5 A.Blikle - DEPL Lingua-1 Instructions and declarations.pdf by April 24^{th}, 2020

Declarations, instructions (without procedures), and programs. Section 5.

6 A.Blikle - DEPL Lingua-2 Procedures.pdf by March 29^{th}, 2020

Imperative procedures with recursion and multirecursion, and functional procedures. Section 6.

7 A.Blikle - DEPL Semantic correctness of programs.pdf by March 30^{th}, 2020

An introduction to program correctness + partial correctness. Sections 7.1 - 7.6

8 A.Blikle - DEPL Total correctness of programs.pdf by April 5^{th}, 2020

Weak total correctness in the relational framework. Section 7.7

9 A.Blikle - DEPL Lingua-2V Syntax and semantics.pdf by April 6^{th}, 2020

Weak total correctness in the relational framework. Sections 8.1 - 8.4

10 A.Blikle - DEPL Lingua-2V Program-construction rules.pdf by April 7^{th}, 2020

Rules for the development of correct programs in Lingua-2V. Section 8.5

11 A.Blikle - DEPL Lingua-2V Transformational programming.pdf by April 7^{th}, 2020

Rules for the transformation of correct programs in Lingua-2V. Section 8.6

12 A.Blikle - DEPL Lingua-OO Object-oriented programming.pdf by April 27^{th}, 2020

The expansion of the Lingua model to OO-programming. Section 8.6