-
Data: 2018-11-29 09:08:49
Temat: Re: Niezmienniki pętli
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> Zastanawiam się, czy to jest pojęcie wyłącznie akademickie.
Jeżeli ktoś po tej dyskusji ma jeszcze resztki zainteresowania tematem, to zachęcam
do lektury:
http://www.inspirel.com/articles/Supporting_Loop_Inv
ariants.html
To jest opis implementacji niezmienników - a konkretnie tego, jak można niezmienniki
statycznie weryfikować.
--
Maciej Sobczak
Następne wpisy z tego wątku
- 01.12.18 15:15 Borneq
- 01.12.18 20:50 Wojciech Muła
- 02.12.18 13:52 Borneq
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław
- 2024-05-22 siad
- 2024-05-24 Re: Firma w stacji trafo
- 2024-05-24 Re: znów ten wrocław
- 2024-05-24 Re: znów ten wrocław [Policja,paralizator,zgon,Inowrocław]
- 2024-05-24 Chiński bestseller w Europie. Ford "martwi się nową konkurencją"
Dom Development rusza z inwestycją Mokotów Sportowy
