RO EN
On program correctness and teaching programming
Authors: M.Frentiu
– 0.14 Mb
Abstract
First, a short survey on program correctness is given. Then, some consequences of this theory, given as important rules in the programming activity, are presented.Militon Frentiu,
"Babes-Bolyai" University,
Faculty of Mathematics and Informatics,
1, M.Kogalniceanu str., Cluj-Napoca
3400, Romania.
phone: 40-64-194315
e-mail:
"Babes-Bolyai" University,
Faculty of Mathematics and Informatics,
1, M.Kogalniceanu str., Cluj-Napoca
3400, Romania.
phone: 40-64-194315
e-mail:
Fulltext
– 0.14 Mb
Contents
- On program correctness and teaching programming
- On graphs G of diameter two with f(G)J|V(G)|+D-d+1
- On the architecture of problem-oriented simulation systems
- SimW - software for automatic creation of problem-oriented simulation systems
- Two problems concerning dynamic flows in node and arc capacitated networks
- The study of data and control flows and the user's interface organization in an applied system for chemistry and medicine
- A method of Romanian Lexicon compression
- Design of the Sequential System Automata using Temporal Equivalence Classes
- Grammar flow analysis reduction to scheduling problem
