Α. Αγγλοελληνικό

abstract syntax αφηρημένη σύνταξηabstract syntax tree (AST) αφηρημένο συντακτικό δένδρο (ΑΣΔ)abstract type αφηρημένος τύποςaccess link προσπελαστική παραπομπήaccess specifier χαρακτηρισμός προσπελασιμότηταςactivation of a function ενεργοποίηση συνάρτησηςactivation record δελτίο ενεργοποίησηςactivation-specific variable ενεργοειδική μεταβλητήactual parameter ενεργή παράμετροςaggregate type σύνθετος τύποςaliasing συνωνυμίαambiguous grammar πολύτροπη γραμματικήannotation επισημείωσηapplet μικροεφαρμογήapplication programming interface (API) διεπαφή για προγραμματισμό εφαρμογών

(ΔιΠΕ)argument όρισμαarity (of a predicate) πλήθος παραμέτρων (κατηγορήματος)array συστοιχίαarray indexing δεικτοδότηση θέσεων συστοιχίαςassembly language, assembler συμβολόγλωσσα, συμβολομεταφραστήςassignment τιμοδοσία (ή τιμοδότηση)assignment operator τιμοδοτικός τελεστήςassociative operator προσεταιριστικός τελεστήςassociativity προσεταιριστικότηταatom άτομοautomatic programming αυτόματος προγραμματισμόςautomatic variable αυτόματη μεταβλητήaxiomatic semantics αξιωματική σημασιολογίαbacktracking οπισθοχώρησηbase class βασική κλάσηbest-fit βέλτιστη επαρκής περιοχήbig-step operational semantics μακροβηματική εκτελεστική σημασιολογία

Γλωσσάριο

602 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

binary operator διπαραμετρικός τελεστήςbinding σύναψηbinding times συναπτικά στάδιαblock παράγραφοςblock scope παραγραφική εμβέλειαblock-structured language παραγραφικά δομημένη γλώσσαboolean operator λογικός τελεστήςby-name passing ονομαστική διαβίβασηby-need passing οικονομική διαβίβασηby-reference passing παραπεμπτική διαβίβασηby-result passing τιμοληπτική διαβίβασηbytecode οκταδυφιακός κώδικαςby-value passing τιμοδοτική διαβίβασηby-value-result passing δοσοληπτική διαβίβασηcapture σύλληψηcatching (an exception ) παραλαβή (εξαίρεσης)checked exception ελεγκτέα εξαίρεσηclass κλάσηclass method μέθοδος κλάσης (ή κλασιακή μέθοδος)classical sequence τυπική ακολουθία εργασιώνclause φράσηcoalescing συγκόλλησηcoercion μετασκευήcolumn-major order στηλοτακτική διάταξηcompaction σύμπτυξηcompilation manager διαχειριστής μετάφρασηςcompile time μεταφραστικό στάδιοcompiler μεταφραστήςcompound statement σύνθετη εντολήconcatenation of strings συναρμογή συμβολοσειρώνconcurrency συγχρονικότηταconditional expression υποθετική έκφρασηconditional operator υποθετικός τελεστήςconditions of a rule συνθήκες ενός κανόναcons προσυναπτικός τελεστήςcons cell συναπτόμενο κελίconstructed type κατασκευασμένος τύποςconstructor κατασκευαστήςcontext-free grammar ασυμφραστική γραμματικήcontravariance ανταλλοίωτοcore dump αποτύπωμα μνήμηςcoroutines συνδιαδικασίεςcost model κοστολόγησηcovariance συναλλοίωτοcurrent heap link τρέχουσα σωροπαραπομπήcurried function επαλληλική συνάρτησηcurrying επαλληλία παραμέτρων (του Curry)

ΓΛΩΣΣΑΡΙΟ 603

dangling else εκκρεμές εναλλακτικό τμήμαdangling pointer μετέωρος δείκτηςdata constructor τιμοκατασκευαστήςdebugging, debugger αποσφαλμάτωση, αποσφαλματωτήςdeclaration δήλωσηdeclaration statement δηλωτική εντολήdeclarative language δηλωτική γλώσσαdecrement μείωσηdecrement operator μειωτικός τελεστήςdefault προεπιλεγμένοςdelayed coalescing ύστερη συγκόλλησηdelayed linking ύστερη σύνδεσηdelegation εκχώρησηdenotational semantics υποδηλωτική σημασιολογίαderived class παράγωγη κλάσηdiamond inheritance ρομβοειδής κληρονόμησηdiscriminated union ενδιάκριτη ένωσηdisplay προθήκηdowncast κατωφερής τυποδοσίαdynamic checking of types δυναμικός έλεγχος ορθοτυπίαςdynamic compilation δυναμική μετάφρασηdynamic dispatch δυναμική διεκπεραίωσηdynamic scoping δυναμική εμβελειοθέτησηdynamic semantics δυναμική σημασιολογίαdynamic typing δυναμική τυποθέτησηdynamic variable δυναμική μεταβλητήdynamic-link library (dll) δυναμικά συνδέσιμη βιβλιοθήκη (dll)eager evaluation άπληστη αποτίμησηearly binding πρώιμη σύναψηEBNF grammar γραμματική EBNencapsulation ενθυλάκωσηenumeration απαρίθμημαequality type ισοδεκτικός τύποςerror handling διαχείριση σφαλμάτωνevaluable predicate αποτιμήσιμο κατηγόρημαevaluation αποτίμησηexception εξαίρεσηexception handling διαχείριση εξαιρέσεωνexclusion error εσφαλμένη παράλειψηexecutable file εκτελέσιμος κώδικαςfact γεγονόςfatal error καταστροφικό σφάλμα first-class function πρώτης τάξεως συνάρτησηfirst-fit πρώτη επαρκής περιοχήfixed-format προκαθορισμένη μορφοποίησηformal language τυπική γλώσσαformal parameter τυπική παράμετρος

604 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

forwarding προώθησηfragmentation κατακερματισμόςfree occurrence of a variable ελεύθερη εμφάνιση μεταβλητήςfree-format ελεύθερη μορφοποίησηfunction type συναρτησιακός τύποςfunctional language συναρτησιακή γλώσσαgarbage collection ρακοσυλλογήgenerational garbage collection χρονολογική ρακοσυλλογήgeneric class αρχετυπική κλάσηgenerics αρχέτυπαhead of a list κεφαλή καταλόγουhead of a rule κεφαλή κανόναheap σωρόςhigher-order functions υψηλοτάξιες συναρτήσειςimperative language προστακτική γλώσσαimplementation υλοποίησηincrement αύξησηincrement operator αυξητικός τελεστήςincremental garbage collection αυξητική ρακοσυλλογήindexing δεικτοδότησηinfix operator ενθηματικός τελεστήςinflexible predicate μη ευέλικτο κατηγόρημαinformation hiding απόκρυψη πληροφοριώνinheritance κληρονόμησηinlining εγγράμισηinstance method οντοτική μέθοδοςinstance of a term στιγμιότυπο όρουinstance of class μέλος κλάσηςinstantiable class πραγματώσιμη κλάσηintegrated development environment ενιαίο περιβάλλον ανάπτυξης (ΕΠΑ) (IDE) interface διεπαφήintermediate code ενδιάμεσος κώδικαςinterpretation of terms ερμηνεία των όρωνinterpretation, interpreter διερμήνευση, διερμηνευτήςintrinsic type υπονοούμενος τύποςinvariant αναλλοίωτη συνθήκηiterative statement επαναληπτική εντολήjust-in-time compilation «στο παρά πέντε» (μετάφραση) keyword κλειδωνύμιο, κλειδωνυμικόςlabeled namespace επώνυμος ονοματόχωροςlabel-oriented control έλεγχος ροής μέσω επιγραφώνlambda expressions εκφράσεις lambdalambda lifting ανύψωση λlanguage system γλωσσικό σύστημαlanguage-definition time γλωσσοσχεδιαστικό στάδιοlanguage-implementation time υλοποιητικό στάδιο

ΓΛΩΣΣΑΡΙΟ 605

late binding όψιμη σύναψηlazy evaluation οκνηρή αποτίμησηlazy language οκνηρή γλώσσαleft-associative operator εξ αριστερών προσεταιριστικός τελεστήςlexer λεκτικός αναλύτηςlexical scoping λεκτική εμβελειοθέτησηlexical structure λεκτική δομήlifetime of a function activation διάρκεια ζωής μιας συνάρτησηςlink time συνδετικό στάδιοlinker συνδέτηςlist κατάλογοςload time φορτωτικό στάδιοload/store architecture φορτοαποθηκευτική αρχιτεκτονικήloader φορτωτήςload-time dynamic linking φορτωτικά δυναμική σύνδεσηlogic language λογικοκεντρική γλώσσαlong form μακροσκελής γραφήlong-lived function μακρόβια συνάρτησηloop invariant removal απαλοιφή βροχοαναλλοίωτων εκφράσεωνlvalue αριστερή τιμήmacro μακροεντολήmacro expansion ανάπτυξη μακροεντολήςmacro-expansion time στάδιο ανάπτυξης μακροεντολώνmain method κύρια μέθοδοςmark-and-sweep garbage collection σήμανση-σάρωση (ρακοσυλλογή)match συμμόρφωμαmemory allocation δέσμευση μνήμηςmemory leak διαρροή μνήμηςmemory management διαχείριση μνήμηςmergesort συγχωνευτική ταξινόμησηmethod of a class μέθοδος μιας κλάσηςmost general unifier (MGU) γενικότατος ενοποιητής (ΓΕΝ)multiple inheritance πολλαπλή κληρονόμησηname equivalence of types ονομαστική ισοδυναμία τύπωνname mangling παραποίηση ονομάτωνnamed constant επώνυμη σταθεράnatural semantics φυσική σημασιολογίαnested block ένθετη παράγραφοςnested function definition ένθετος ορισμός συνάρτησηςnesting link ενθετική παραπομπήnon-terminal symbol παραγωγικό σύμβολοnon-terminating querie ατέρμονη αναζήτηση απάντησηςobject οντότηταobject file συνδέσιμο αρχείοobject-oriented οντοστρεφήςoccurs check έλεγχος εμφάνισηςodometer order οδομετρική διάταξη

606 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

operand τελεστέος (ή παράμετρος)operational semantics εκτελεστική σημασιολογίαoptimization βελτιστοποίησηorder of a function τάξη συνάρτησηςorthogonality ορθογωνιότηταoverloading υπερφόρτισηoverriding υπερκάλυψηpackage δέμαparameter-passing διαβίβαση παραμέτρωνparametric polymorphism παραμετρικός πολυμορφισμόςparse tree συντακτικό δένδροparsing συντακτική ανάλυσηpattern μορφότυποpattern-matching συμμόρφωση μορφοτύπωνphrase structure φραστική δομήphrase-level control φρασεολογικός έλεγχος ροήςplacement χωροθέτησηpointer δείκτηςpolymorphism πολυμορφισμόςpolytype πολλαπλότυποςpositional parameter θεσιακή παράμετροςpostfix operator επιθηματικός τελεστήςprecedence προτεραιότηταprecondition προϋπόθεσηpredefined predicate προκαθορισμένο κατηγόρημαpredicate κατηγόρημαprefix operator προθηματικός τελεστήςprimitive namespace πρωταρχικός ονοματόχωροςprimitive type πρωταρχικός τύποςprivate ιδιωτικόproduction κανόνας παραγωγήςprofiling σκιαγράφησηproof-tree αποδεικτικό δένδροprototype πρωτότυποpure operator αγνός τελεστήςquery ερώτημαquick list πρόχειρος κατάλογοςrailroad diagram σιδηροδρομικό διάγραμμαrecord δελτίοrecursive descent αναδρομική κάθοδοςreference παραπομπήreference type παραπεμπτικός τύποςreference-counting garbage collection καταμέτρηση παραπομπών (ρακοσυλλογή)register καταχωριστήςresolution ανάλυσηreturn statement επιστροφική εντολήright-associative operator εξ δεξιών προσεταιριστικός τελεστής

ΓΛΩΣΣΑΡΙΟ 607

root set ριζικό σύνολοrow-major order γραμμοτακτική διάταξηrule κανόναςruntime εκτελεστικό στάδιοruntime dynamic linking εκτελεστικά δυναμική σύνδεσηruntime support εκτελεστική υποστήριξηrvalue δεξιά τιμήscalar type βαθμωτός τύποςscanner συντακτικός αναλύτηςscope hole χάσμα εμβέλειαςscope of a definition εμβέλεια ορισμούscoping with blocks εμβελειοθέτηση μέσω παραγράφωνsemantics σημασιολογίαseparate compilation τμηματική μετάφρασηshared libraries κοινόχρηστες βιβλιοθήκεςshort form συνοπτική γραφήside effect παρενέργειαsingleton variable μονήρης μεταβλητήsmall-step operational semantics μικροβηματική εκτελεστική σημασιολογίαsource file πηγαίος κώδικαςsplitting κατάτμησηstack στοίβαstack architecture στοιβοκεντρική αρχιτεκτονικήstack frames στοιβαγμένα πλαίσιαstack trace ίχνος στοίβαςstandard πρότυποstart symbol εναρκτήριο σύμβολοstartup processing εναρκτήριες ρυθμίσειςstatic checking of types στατικός έλεγχος ορθοτυπίαςstatic link στατική παραπομπήstatic scoping στατική εμβελειοθέτησηstatic semantics στατική σημασιολογίαstructural equivalence of types δομική ισοδυναμία τύπωνstructural operational semantics δομική εκτελεστική σημασιολογίαstructure δομήstructured programming δομημένος προγραμματισμόςsubclass υποκλάσηsubrange υποδιάστημαsubstitution αντικατάστασηsubtype υπότυποςsubtype polymorphism υποτυπικός πολυμορφισμόςsuperclass υπερκείμενη κλάση (ή υπερκλάση)syntax σύνταξηsyntax diagram συντακτικό διάγραμμαtail call καταληκτική κλήσηtail of a list ουρά καταλόγουtail-recursive function καταληκτικά αναδρομική συνάρτηση

608 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

term όροςterminal symbol τερματικό σύμβολοternary operator τριπαραμετρικός τελεστήςthrowable class εκπέμψιμη κλάσηthrowing (an exception) εκπομπή (εξαίρεσης)tokenizing, token λεξιμερισμός, λεξιμόριοtotal definition εξαντλητικός ορισμόςtuple πλειάδαtype cast τυποδοσίαtype constructor τυποκατασκευαστήςtype conversion τυπομετατροπήtype inference συναγωγή τύπουtype variable τυπομεταβλητήultimate base class έσχατη βασική κλάσηunary operator μονοπαραμετρικός τελεστήςunchecked exception παραβλέψιμη εξαίρεσηunification ενοποίησηunifier of terms ενοποιητής όρωνunion ένωσηunreachable catch block απρόσιτη παραληπτική παράγραφοςunused inclusion error μάταιη συμπερίληψηused inclusion error εσφαλμένη συμπερίληψηvariable renaming μετονομασία μεταβλητήςvirtual machine εικονική μηχανήwhite space κενός χώροςwrapper class συσκευασία (είδος κλάσης)

Β. Ελληνοαγγλικό

αγνός τελεστής pure operatorαναδρομική κάθοδος recursive descentαναλλοίωτη συνθήκη invariantανάλυση resolutionανάπτυξη μακροεντολής macro expansionανταλλοίωτο contravarianceαντικατάσταση substitutionανύψωση λ lambda liftingαξιωματική σημασιολογία axiomatic semanticsαπαλοιφή βροχοαναλλοίωτων εκφράσεων loop invariant removalαπαρίθμημα enumerationάπληστη αποτίμηση eager evaluationαποδεικτικό δένδρο proof-treeαπόκρυψη πληροφοριών information hidingαποσφαλμάτωση, αποσφαλματωτής debugging, debuggerαποτίμηση evaluation

ΓΛΩΣΣΑΡΙΟ 609

αποτιμήσιμο κατηγόρημα evaluable predicateαποτύπωμα μνήμης core dumpαπρόσιτη παραληπτική παράγραφος unreachable catch blockαριστερή τιμή lvalueαρχέτυπα genericsαρχετυπική κλάση generic classασυμφραστική γραμματική context-free grammarατέρμονη αναζήτηση απάντησης non-terminating querieάτομο atomαύξηση incrementαυξητική ρακοσυλλογή incremental garbage collectionαυξητικός τελεστής increment operatorαυτόματη μεταβλητή automatic variableαυτόματος προγραμματισμός automatic programmingαφηρημένη σύνταξη abstract syntaxαφηρημένο συντακτικό δένδρο (ΑΣΔ) abstract syntax tree (AST)αφηρημένος τύπος abstract typeβαθμωτός τύπος scalar type βασική κλάση base classβέλτιστη επαρκής περιοχή best-fitβελτιστοποίηση optimizationγεγονός factγενικότατος ενοποιητής (ΓΕΝ) most general unifier (MGU)γλωσσικό σύστημα language systemγλωσσοσχεδιαστικό στάδιο language-definition timeγραμματική EBN EBNF grammarγραμμοτακτική διάταξη row-major orderδείκτης pointerδεικτοδότηση θέσεων συστοιχίας array indexingδελτίο recordδελτίο ενεργοποίησης activation recordδέμα packageδεξιά τιμή rvalueδέσμευση μνήμης memory allocationδήλωση declarationδηλωτική γλώσσα declarative languageδηλωτική εντολή declaration statementδιαβίβαση παραμέτρων parameter-passingδιάρκεια ζωής μιας συνάρτησης lifetime of a function activationδιαρροή μνήμης memory leakδιαχείριση εξαιρέσεων exception handlingδιαχείριση μνήμης memory managementδιαχείριση σφαλμάτων error handlingδιαχειριστής μετάφρασης compilation managerδιεπαφή interfaceδιεπαφή για προγραμματισμό εφαρμογών application programming interface (API) (ΔιΠΕ)

610 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

διερμήνευση, διερμηνευτής interpretation, interpreterδιπαραμετρικός τελεστής binary operatorδομή structureδομημένος προγραμματισμός structured programmingδομική εκτελεστική σημασιολογία structural operational semanticsδομική ισοδυναμία τύπων structural equivalence of typesδοσοληπτική διαβίβαση by-value-result passingδυναμικά συνδέσιμη βιβλιοθήκη (dll) dynamic-link library (dll)δυναμική διεκπεραίωση dynamic dispatchδυναμική εμβελειοθέτηση dynamic scopingδυναμική μεταβλητή dynamic variableδυναμική μετάφραση dynamic compilationδυναμική σημασιολογία dynamic semanticsδυναμική τυποθέτηση dynamic typingδυναμικός έλεγχος ορθοτυπίας dynamic checking of typesεγγράμιση inliningεικονική μηχανή virtual machineεκκρεμές εναλλακτικό τμήμα dangling elseεκπέμψιμη κλάση throwable classεκπομπή (εξαίρεσης) throwing (an exception)εκτελέσιμος κώδικας executable fileεκτελεστικά δυναμική σύνδεση runtime dynamic linkingεκτελεστική σημασιολογία operational semanticsεκτελεστική υποστήριξη runtime supportεκτελεστικό στάδιο runtimeεκφράσεις lambda lambda expressionsεκχώρηση delegationελεγκτέα εξαίρεση checked exception έλεγχος εμφάνισης occurs checkέλεγχος ροής μέσω επιγραφών label-oriented controlελεύθερη εμφάνιση μεταβλητής free occurrence of a variableελεύθερη μορφοποίηση free-formatεμβέλεια ορισμού scope of a definitionεμβελειοθέτηση μέσω παραγράφων scoping with blocksεναρκτήριες ρυθμίσεις startup processingεναρκτήριο σύμβολο start symbolενδιάκριτη ένωση discriminated unionενδιάμεσος κώδικας intermediate codeενεργή παράμετρος actual parameterενεργοειδική μεταβλητή activation-specific variableενεργοποίηση συνάρτησης activation of a functionένθετη παράγραφος nested blockενθετική παραπομπή nesting linkένθετος ορισμός συνάρτησης nested function definitionενθηματικός τελεστής infix operatorενθυλάκωση encapsulationενιαίο περιβάλλον ανάπτυξης (ΕΠΑ) integrated development environment (IDE)

ΓΛΩΣΣΑΡΙΟ 611

ενοποίηση unificationενοποιητής όρων unifier of termsένωση unionεξ αριστερών προσεταιριστικός τελεστής left-associative operatorεξ δεξιών προσεταιριστικός τελεστής right-associative operatorεξαίρεση exceptionεξαντλητικός ορισμός total definitionεπαλληλία παραμέτρων (του Curry) curryingεπαλληλική συνάρτηση curried functionεπαναληπτική εντολή iterative statementεπιθηματικός τελεστής postfix operatorεπισημείωση annotationεπιστροφική εντολή return statementεπώνυμη σταθερά named constantεπώνυμος ονοματόχωρος labeled namespaceερμηνεία των όρων interpretation of termsερώτημα queryεσφαλμένη παράλειψη exclusion errorεσφαλμένη συμπερίληψη used inclusion errorέσχατη βασική κλάση ultimate base classθεσιακή παράμετρος positional parameterιδιωτικό private ισοδεκτικός τύπος equality typeίχνος στοίβας stack traceκανόνας ruleκανόνας παραγωγής productionκατακερματισμός fragmentationκαταληκτικά αναδρομική συνάρτηση tail-recursive functionκαταληκτική κλήση tail callκατάλογος listκαταμέτρηση παραπομπών reference-counting garbage collection (ρακοσυλλογή)κατασκευασμένος τύπος constructed typeκατασκευαστής constructorκαταστροφικό σφάλμα fatal errorκατάτμηση splittingκαταχωριστής registerκατηγόρημα predicateκατωφερής τυποδοσία downcastκενός χώρος white spaceκεφαλή κανόνα head of a ruleκεφαλή καταλόγου head of a listκλάση classκλειδωνύμιο, κλειδωνυμικός keywordκληρονόμηση inheritanceκοινόχρηστες βιβλιοθήκες shared librariesκοστολόγηση cost model

612 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

κύρια μέθοδος main methodλεκτική δομή lexical structureλεκτική εμβελειοθέτηση lexical scopingλεκτικός αναλύτης lexerλεξιμερισμός, λεξιμόριο tokenizing, tokenλογικοκεντρική γλώσσα logic languageλογικός τελεστής boolean operatorμακροβηματική εκτελεστική big-step operational semantics σημασιολογίαμακρόβια συνάρτηση long-lived functionμακροεντολή macroμακροσκελής γραφή long formμάταιη συμπερίληψη unused inclusion errorμέθοδος κλάσης (ή κλασιακή μέθοδος) class methodμέθοδος μιας κλάσης method of a classμείωση decrementμειωτικός τελεστής decrement operatorμέλος κλάσης instance of classμετασκευή coercionμεταφραστής compilerμεταφραστικό στάδιο compile timeμετέωρος δείκτης dangling pointerμετονομασία μεταβλητής variable renamingμη ευέλικτο κατηγόρημα inflexible predicateμικροβηματική εκτελεστική σημασιολογία small-step operational semanticsμικροεφαρμογή appletμονήρης μεταβλητή singleton variableμονοπαραμετρικός τελεστής unary operatorμορφότυπο patternοδομετρική διάταξη odometer orderοικονομική διαβίβαση by-need passingοκνηρή αποτίμηση lazy evaluationοκνηρή γλώσσα lazy languageοκταδυφιακός κώδικας bytecodeονομαστική διαβίβαση by-name passingονομαστική ισοδυναμία τύπων name equivalence of typesοντοστρεφής object-orientedοντότητα objectοντοτική μέθοδος instance methodοπισθοχώρηση backtrackingορθογωνιότητα orthogonalityόρισμα argumentόρος termουρά καταλόγου tail of a listόψιμη σύναψη late bindingπαραβλέψιμη εξαίρεση unchecked exception παραγραφικά δομημένη γλώσσα block-structured language

ΓΛΩΣΣΑΡΙΟ 613

παραγραφική εμβέλεια block scopeπαράγραφος blockπαράγωγη κλάση derived classπαραγωγικό σύμβολο non-terminal symbolπαραλαβή (εξαίρεσης) catching (an exception )παραμετρικός πολυμορφισμός parametric polymorphismπαραπεμπτική διαβίβαση by-reference passingπαραπεμπτικός τύπος reference typeπαραποίηση ονομάτων name manglingπαραπομπή referenceπαρενέργεια side effectπηγαίος κώδικας source fileπλειάδα tupleπλήθος παραμέτρων (κατηγορήματος) arity (of a predicate)πολλαπλή κληρονόμηση multiple inheritanceπολλαπλότυπος polytypeπολυμορφισμός polymorphismπολύτροπη γραμματική ambiguous grammarπραγματώσιμη κλάση instantiable classπροεπιλεγμένος defaultπροθήκη displayπροθηματικός τελεστής prefix operatorπροκαθορισμένη μορφοποίηση fixed-formatπροκαθορισμένο κατηγόρημα predefined predicateπροσεταιριστικός τελεστής associative operatorπροσεταιριστικότητα associativityπροσπελαστική παραπομπή access linkπροστακτική γλώσσα imperative languageπροσυναπτικός τελεστής consπροτεραιότητα precedenceπρότυπο standardπροϋπόθεση preconditionπρόχειρος κατάλογος quick listπροώθηση forwardingπρώιμη σύναψη early bindingπρωταρχικός ονοματόχωρος primitive namespaceπρωταρχικός τύπος primitive typeπρώτη επαρκής περιοχή first-fitπρώτης τάξεως συνάρτηση first-class functionπρωτότυπο prototypeρακοσυλλογή garbage collectionριζικό σύνολο root setρομβοειδής κληρονόμηση diamond inheritanceσήμανση-σάρωση (ρακοσυλλογή) mark-and-sweep garbage collectionσημασιολογία semanticsσιδηροδρομικό διάγραμμα railroad diagramσκιαγράφηση profiling

614 ΣΥΓΧΡΟΝΕΣ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

στάδιο ανάπτυξης μακροεντολών macro-expansion timeστατική εμβελειοθέτηση static scopingστατική παραπομπή static linkστατική σημασιολογία static semanticsστατικός έλεγχος ορθοτυπίας static checking of typesστηλοτακτική διάταξη column-major orderστιγμιότυπο όρου instance of a term«στο παρά πέντε» (μετάφραση) just-in-time compilationστοιβαγμένα πλαίσια stack framesστοιβοκεντρική αρχιτεκτονική stack architectureσυγκόλληση coalescingσυγχρονικότητα concurrencyσυγχωνευτική ταξινόμηση mergesortσύλληψη captureσυμβολόγλωσσα, συμβολομεταφραστής assembly language, assemblerσυμμόρφωμα matchσυμμόρφωση μορφοτύπων pattern-matchingσύμπτυξη compactionσυναγωγή τύπου type inferenceσυναλλοίωτο covarianceσυναπτικά στάδια binding timesσυναπτόμενο κελί cons cellσυναρμογή συμβολοσειρών concatenation of stringsσυναρτησιακή γλώσσα functional languageσυναρτησιακός τύπος function typeσύναψη bindingσυνδέσιμο αρχείο object fileσυνδέτης linkerσυνδετικό στάδιο link timeσυνδιαδικασίες coroutinesσύνθετη εντολή compound statementσύνθετος τύπος aggregate typeσυνθήκες ενός κανόνα conditions of a ruleσυνοπτική γραφή short formσυντακτική ανάλυση parsingσυντακτικό δένδρο parse treeσυντακτικό διάγραμμα syntax diagramσυντακτικός αναλύτης scannerσύνταξη syntaxσυνωνυμία aliasingσυσκευασία (είδος κλάσης) wrapper classσυστοιχία arrayσωρός heapτάξη συνάρτησης order of a functionτελεστέος (ή παράμετρος) operandτερματικό σύμβολο terminal symbolτιμοδοσία (ή τιμοδότηση) assignment

ΓΛΩΣΣΑΡΙΟ 615

τιμοδοτική διαβίβαση by-value passing τιμοδοτικός τελεστής assignment operatorτιμοκατασκευαστής data constructorτιμοληπτική διαβίβαση by-result passingτμηματική μετάφραση separate compilationτρέχουσα σωροπαραπομπή current heap linkτριπαραμετρικός τελεστής ternary operatorτυπική ακολουθία εργασιών classical sequenceτυπική γλώσσα formal languageτυπική παράμετρος formal parameterτυποδοσία type castτυποκατασκευαστής type constructorτυπομεταβλητή type variableτυπομετατροπή type conversion υλοποίηση implementationυλοποιητικό στάδιο language-implementation timeυπερκάλυψη overridingυπερκείμενη κλάση (ή υπερκλάση) superclassυπερφόρτιση overloadingυποδηλωτική σημασιολογία denotational semanticsυποδιάστημα subrangeυποθετική έκφραση conditional expressionυποθετικός τελεστής conditional operatorυποκλάση subclassυπονοούμενος τύπος intrinsic typeυποτυπικός πολυμορφισμός subtype polymorphismυπότυπος subtypeύστερη συγκόλληση delayed coalescingύστερη σύνδεση delayed linkingυψηλοτάξιες συναρτήσεις higher-order functionsφορτοαποθηκευτική αρχιτεκτονική load/store architectureφορτωτής loaderφορτωτικά δυναμική σύνδεση load-time dynamic linkingφορτωτικό στάδιο load timeφρασεολογικός έλεγχος ροής phrase-level controlφράση clauseφραστική δομή phrase structureφυσική σημασιολογία natural semanticsχαρακτηρισμός προσπελασιμότητας access specifierχάσμα εμβέλειας scope holeχρονολογική ρακοσυλλογή generational garbage collectionχωροθέτηση placement