wołanie przez potrzebę
call-by-need
Sposób przekazywania argumentów łączący wołanie przez nazwę z zapamiętywaniem: argument liczony co najwyżej raz, przy pierwszym użyciu.
- Typ
- proces
- Pojęcie nadrzędne
- strategia przekazywania argumentów
- Kategoria
- Teoria informatyki · Semantyka i ewaluacja
- Źródło
- Ariola et al., A Call-by-Need Lambda Calculus
Zobacz też
Powiązane pojęcia · Języki i teoria typów
Statyczne wyznaczanie faktów o wartościach i zmiennych w punktach programu przez propagację informacji po grafie przepływu sterowania.
blok 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.
graf przepływu sterowaniaGraf skierowany, którego węzły to bloki podstawowe, a krawędzie reprezentują możliwe przejścia sterowania między nimi podczas wykonania.
alokacja rejestrówPrzydzielanie zmiennych programu do skończonej liczby rejestrów procesora, często modelowane jako kolorowanie grafu kolizji.
generacja koduKońcowa faza kompilatora tłumacząca reprezentację pośrednią na kod docelowy maszyny, wybierając instrukcje i przydzielając zasoby.
optymalizacja koduPrzekształcanie programu zachowujące jego semantykę, mające poprawić wydajność (szybkość, rozmiar, zużycie zasobów) wynikowego kodu.
Chcesz wykorzystać AI w swojej firmie?
Wdrażamy chatboty, agentów głosowych i automatyzacje dla MŚP. Pierwsza konsultacja jest bezpłatna.
Bezpłatna konsultacja