PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2 (1998) | nr 7 | 59--67
Tytuł artykułu

Programowanie obiektowe z perspektywy abstrakcyjnych rodzin języków

Autorzy
Treść / Zawartość
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)
Rocznik
Numer
Strony
59--67
Opis fizyczny
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000009786

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.