Programowanie obiektowe z perspektywy abstrakcyjnych rodzin języków

• Autorzy: Janusz Korniak

Warianty tytułu

Object Programming from the Perspective of Abstract Languages of Families

• Języki publikacji: PL

Abstrakty

Artykuł dotyczy problemów weryfikacji programów obiektowych. W tym celu autor wykazał podobieństwa pomiędzy programowaniem obiektowym, a Teorią Abstrakcyjnych Rodzin Języków, z których wynika, że istnieje możliwość zastosowania metody indukcji strukturalnej do weryfikacji programów obiektowych.

EN

The article deals with the problem of verifying object problems. The similarities between object programming and the Theory of Abstract language Families have been shown, which prove that it is possible to use structural induction method to verify object programs. Finally, I present directions of future solutions aiming to prove that object problems can be verified with the use of structural induction. (original abstract)

Słowa kluczowe

PL

Programowanie obiektowe; Programowanie komputerów; Algorytmy

EN

Object-oriented programming (OOP); Computer programming; Algorithms

• Czasopismo: Zeszyty Naukowe / Wyższa Szkoła Informatyki i Zarządzania
• Rocznik: 2 (1998)
• Numer: nr 7
• Strony: 59--67

Twórcy

autor

Janusz Korniak