עֵרֶךְ מִלּוֹנִיערך מילונימחרוזת תווים באל"ף-בי"ת של שפת תכנות, המייצגת יחידה בסיסית של משמעות. לדוגמה, סמין כגון 2G5, או מזהה כגון last-name בשפת Pascal
הַכְרָזָההכרזהבשפות תכנות – צרף שפה מפורש המצהיר על מזהים בתכנית ומציין כיצד יפורשו על ידי המהדר. לדוגמה, הכרזות על טיפוסי נתונים, ארגון הזיכרון, חבילות או משימות
תֵּאוּר סְבִיבָהתיאור סביבהצרף שפה המתאר מאפיינים שאינם חלק מרצף פקודות התכנית, אך משפיעים על ביצועה. לדוגמה, אפייני מחשב, תכונות קבצים מיוחדות, מִמשקים עם תכניות אחרות
מִשְׁתַּנֶּהמשתנהצרף שפה הנקבע על ידי הכרזה או הכרזה משתמעת והמורכב ממזהה, מקבוצת תכונות נתונים, ממען אחד או יותר ומערכי נתונים, ושבו היוחסה (relation) בין המענים לבין ערכי הנתונים יכולה להשתנות
טִיפּוּס נְתוּנִיםטיפוס נתוניםקבוצה מוגדרת של עצמי נתונים בעלי מבנה נתונים מסוים וקבוצת פעולות מותרות, כך שעצמי נתונים אלה יכולים לשמש אופרנדים בביצוע של כל אחת מפעולות אלה
טִיפּוּס מֻפְשָׁטטיפוס מופשטטיפוס נתונים המבוסס על מודל מתמטי שבו מבנה נתונים מתואר על ידי רשימת פעולות או תכונות הזמינות במבנה הנתונים ועל ידי המאפיינים הפורמליים של אותן פעולות, כשהמִמשקים מופרדים מהמימוש הפנימי
טִיפּוּס רְשׁוּמָהטיפוס רשומהטיפוס נתונים מורכב שרכיביו הם שדות או טיפוסי רשומות אחרים. לדוגמה, רשומת פרטים אישיים עשויה לכלול נתונים אישיים ערוכים בשדות או בתת-רשומות בתוכה
טִיפּוּס פְּרָטִיטיפוס פרטיבתוך תכנית – טיפוס נתונים שהמבנה שלו, קבוצת ערכיו ופעולותיו מוגדרים, אך זמינותו מוגבלת למרכיבים מיוחסים (privileged) של אותה תכנית
הֲמָרַת טִיפּוּסהמרת טיפוסבשפות תכנות – המרת הייצוג של ערך נתונים מטיפוס נתונים אחד לערך נתונים מטיפוס נתונים אחר, המבוצעת בדרך כלל כדי למנוע אי-התאמה לא חוקית של טיפוסי נתונים
הַטְפָּסָה חֲזָקָההטפסה חזקהאכיפת הדרישה שטיפוסי הנתונים של אופרנדים בצֶרף שפה יהיו תואמים לטיפוסי הנתונים של הפעולה או כאלה שעברו המרת טיפוס לפני שהפעולה בוצעה
מִשְׁפָּטמשפטיחידה תחבירית המסתיימת בצורה מפורשת והמייצגת הכרזה או קביעה של יחידת עבודה, הכוללת זיהוי של הפעולות לביצוע, של אופרנדים (אם יש) לשימוש בביצוע אותן פעולות, וייעוד לתוצאות
מִשְׁפַּט חֲזָרָהמשפט חזרהצרף שפה בתוך פִּרקָן המציין את הסיום של מעקובת ביצוע (או כמה מעקובות כאלה) באותו פִּרקָן והגורם לקפיצה לנקודה שצוינה בַּפִּרקָן הקורא, וייתכן שהוא גם מעביר אליו תוצאות
צֶרֶף "בַּעֲבוּר"צרף "בעבור"צרף שפה לבקרת חִזְרוּר המגדיר את המבחן לביצוע בקרת החזרור, המבוסס בדרך כלל על משתנה בקרת חזרור ועל הוראת השינוי שלו שיש לבצע בין כל שני צעדי חזרור
אוֹפֵּרָטוֹר יֻחְסָהאופרטור יוחסהסמל המשמש לקביעת יוחסה בין אופרנדים בתוך ביטוי, לדוגמה, שווה =, לא שווה <>, גדול מן <, קטן מן >, גדול מן או שווה ל- =<, קטן מן או שווה ל- =>
פִּרְקָןפרקןמוֹדוּל; חלק של תכנית שפותח כך שיהיה נבדל או בר זיהוי בכל הקשור לפעולות כגון הידור, כריכה או ביצוע, והעשוי להדד (to interact) עם תכניות אחרות או עם חלקים אחרים של אותה תכנית
תַּת-תָּכְנִיתתת-תוכניתפִּרְקָן מזוהה הנקרא במהלך תזרים הבקרה מתכנית אחרת או מפִּרְקָן אחר באמצעות צרף שפה מיוחד, ושממנו חוזר תזרים הבקרה לתכנית הקוראת או לפִּרְקָן הקורא
קְרִיאָה לְפִי שֵׁםקריאה לפי שםקריאה שבה הפִּרקָן הקורא מספק לפִּרקָן הנקרא את השמות של פרמטר אחד או יותר שיש להעריך, בכל פעם שהפִּרקָן הקורא משתמש בפרמטר המסומך
חֲבִילָהחבילהבשפות תכנות – פִּרקָן שנתכן (designed) לספק הפשטה, כמיסה או הסתרת מידע באמצעות ההקבצה של צרפי שפה המקושרים ביניהם לוגית, כגון טיפוסי נתונים, עצמי נתונים באותם טיפוסי נתונים, ותת-תכניות עם פרמטרים מאותם טיפוסי נתונים
סִנְכְּרוּן מְשִׂימוֹתסנכרון משימותתיאום בזמן הפעילות של משימות באמצעים שונים כגון אתת, משגוח או מפגש, כך שבכל פעם יבוצע רק תהליך אחד מתוך כמה תהליכים מקבילים
יִחוּד שֵׁמוֹתייחוד שמותתהליך חילול של מזהים פנימיים חד-משמעיים ממזהים בקוד המקור כדי לפתור בעיות הקשורות לתחום המשתנים ועמיסת משמעויות. השוו 'הסרת ייחוד שמות'