Abstractie van procedures

8 belangrijke vragen over Abstractie van procedures

Geef een omschrijving van het begrip abstractie

Met het begrip abstractie duiden we aan dat we ons bij de bestudering van een systeem concentreren op de hoofdzaken en de voor ons doel niet-relevante details buiten beschouwing laten. We brengen een scheiding aan in wat een systeem doet en hoe dit resultaat wordt bewerkstelligd.
Het begrip abstractie gebruiken we ook voor het abstraheren van taalconstructie. Een entiteit die een bepaalde expressie bevat die pas wordt uitgevoerd op het moment van aanroep, noemen we een abstractie

Geef een omschrijving van het begrip argument


Een procedure is vooral flexibel als er nog open plaatsen in kunnen staan die pas bij aanroep worden gevuld. Bij de definitie van de procedure duiden we de open plaatsen aan door een naam: de formele parameter.
Een procedure is vooral flexibel als er nog open plaatsen in kunnen staan die pas bij aanroep worden gevuld. Bij de definitie van de procedure duiden we de open plaatsen aan door een naam: de formele parameter.
Bij aanroep van de procedure wordt een expressie meegegeven: een actuele parameter
De waarde van een expressie als actuele parameter heet argument

Geef een omschrijving van het begrip aliasing

Aliasing is het binden van meer dan 1 nam aan dezelfde entiteit. Aliasing vindt onder meer plaats bij reference-paramaters
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Geef een omschrijving van het begrip eager evaluatie

Bij de definitiemechanisme kan een parameter op verschillende tijdstippen worden geëvalueerd. Bij eager evaluatie gebeurt dit gelijk bij de aanroep

Geef een omschrijving van het begrip lazy-evaluatie

BIj lazy-evaluatie wordt de actuele parameter 1 keer bij het eerste voorkomen van de formele parameter geevalueerd en de verkregen waarde wordt bij elk volgend voorkomen van de formele parameter gebruikt

Geef een omschrijving van het begrip (niet) strikte functie

Een functie die in sommige gevallen zelfs kan worden geëvalueerd als niet al haar argumenten worden geëvalueerd, is niet-strikt.
Een functie die alleen kan worden geëvalueerd als al haar argumenten moeten worden geëvalueerd is strikt.

Noem 4 mogelijke abstracties van taalconstructies en - behalve van generieke abstracties - het doel ervan kunt uitleggen

<TODO>
Selector procedure
generieke abstractie

Formuleer de Church-Rosser-eigenschap en geef aan welke talen voldoen aan deze eigenschap

De Church-Rosser-eigenschap luidt als volgt: Als een expressie kan worden geëvalueerd, dan leidt normal-order-evaluatie altijd tot een resultaat. Als een expressie met verschillende methoden kan worden geëvalueerd - bijvoorbeeld normal-order-eager evaluatie - dan leiden al deze methoden tot dezelfde resultaat
Zuiver functionele talen zonder neveneffecten bezitten deze eigenschap. n deze talen leidt lazy evaluatie altijd tot exact hetzelfde resultaat als normal-order-evaluatie. Haskell is een zuiver functionele taal en bezit dus de Church-Rosser-eigenschap

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

  • Een unieke studie- en oefentool
  • Nooit meer iets twee keer studeren
  • Haal de cijfers waar je op hoopt
  • 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
Trustpilot-logo