typ zależny

Name: lok-ai — Lokalna Automatyzacja Biznesu
Address: Grudziądz, kujawsko-pomorskie, PL
Telephone: +48-534-541-454
Price range: $$

Typ, którego definicja zależy od wartości, co pozwala wyrażać precyzyjne specyfikacje i dowody w systemie typów.

Karta hasła

01analiza przepływu danychStatyczne wyznaczanie faktów o wartościach i zmiennych w punktach programu przez propagację informacji po grafie przepływu sterowania.
02blok podstawowyMaksymalny ciąg kolejnych instrukcji, do którego sterowanie wchodzi tylko na początku i opuszcza tylko na końcu, bez rozgałęzień wewnątrz.
03graf przepływu sterowaniaCFG (control-flow graph)Graf skierowany, którego węzły to bloki podstawowe, a krawędzie reprezentują możliwe przejścia sterowania między nimi podczas wykonania.
04alokacja rejestrówPrzydzielanie zmiennych programu do skończonej liczby rejestrów procesora, często modelowane jako kolorowanie grafu kolizji.
05generacja koduKońcowa faza kompilatora tłumacząca reprezentację pośrednią na kod docelowy maszyny, wybierając instrukcje i przydzielając zasoby.
06optymalizacja koduPrzekształcanie programu zachowujące jego semantykę, mające poprawić wydajność (szybkość, rozmiar, zużycie zasobów) wynikowego kodu.