Übersetzung für 'προγραμματισμού' von Griechisch nach Deutsch

γλώσσα {η} προγραμματισμού

Programmiersprache {f}πλρφκ.

• Οι γλώσσες προγραμματισμού χρησιμοποιούνται για να διευκολύνουν την οργάνωση και διαχείριση πληροφοριών, αλλά και για την ακριβή διατύπωση αλγορίθμων.
• Η CafeOBJ είναι γλώσσα προγραμματισμού, η οποία είναι μέλος της ευρύτερης γλώσσας προγραμματισμού OBJ.
• Η Objective-C είναι μία αντικειμενοστρεφής γλώσσα προγραμματισμού γενικής χρήσης.
• Μια ακόμη σημαντική συνεισφορά του ήταν η επινόηση (1946) μιας θεωρητικής γλώσσας προγραμματισμού, η οποία ονομάστηκε Plankalkül.
• ... Windows API), γνωστή και ως Διεπαφή των Windows, Διασύνδεση των Windows, Διασύνδεση Προγραμματισμού Εφαρμογών των Windows ή API των Windows, είναι το όνομα που δίνει η Microsoft στο βασικό σύνολο της προτυποποιημένης διεπαφής προγραμματισμού εφαρμογών του λειτουργικού της συστήματος Windows, το οποίο καθιστά τις κλήσεις συστήματος του πυρήνα προσπελάσιμες από τους προγραμματιστές.

• O κώδικας-G (γνωστός επίσης και σαν "RS-274") ο οποίος έχει πολλές παραλλαγές, είναι η συνηθισμένη ονομασία για την  πιο διαδεδομένη γλώσσα προγραμματισμού αριθμητικού ελέγχου (NC).
• Η Λίσκοφ έλαβε το 2008 το βραβείο Τούρινγκ από την ACM, τον Μάρτιο του 2009, για το έργο της στο σχεδιασμό των γλωσσών προγραμματισμού και λογισμικού μεθοδολογίας που οδήγησε στην ανάπτυξη του αντικειμενοστρεφούς προγραμματισμού.
• Σε διάφορες γλώσσες προγραμματισμού οι ανώνυμες συναρτήσεις ονομάζονται συναρτήσεις "λάμδα" (Αγγλικά: "lambda") ή περιγράφονται ως "λάμδα αφαιρέσεις" (Αγγλικά: "lambda abstractions").
• Οι Προγραμματιστικοί μικρόκοσμοι - μικρογλώσσες προγραμματισμού είναι προγραμματιστικά περιβάλλοντα κατάλληλα για την εκμάθηση του προγραμματισμού (σε μικρές ηλικίες).
• Η Pascal έχει όλα τα στοιχεία για την ανάπτυξη δομημένου προγραμματισμού.

• Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τυπικό τρόπο.
• Οι λ-λογισμοί με τύπους είναι θεμελιώδεις γλώσσες προγραμματισμου και αποτελούν τη βάση των γλωσσών συναρτησιακού προγραμματισμού με τύπους όπως η ML και η Haskell, και κάπως γενικότερα των γλωσσών προστακτικού προγραμματισμού.
• Υπάρχουν αρκετές γλώσσες προγραμματισμού που δημιουργήθηκαν ειδικά για να υποστηρίζουν τη ροή δεδομένων.
• Η Scala είναι μια γλώσσα προγραμματισμού πολλαπλών παραδειγμάτων που σχεδιάστηκε για να ενσωματώσει χαρακτηριστικά του αντικειμενοστρεφούς προγραμματισμού και του συναρτησιακού προγραμματισμού.
• Μετά την επιτυχία του Unix, ο Ρίτσι συνέχισε την έρευνα σε λειτουργικά συστήματα και γλώσσες προγραμματισμού, με συνεισφορές στα λειτουργικά συστήματα Plan 9 και Inferno και στην γλώσσα προγραμματισμού Limbo.

• Ο παρακάτω κώδικας είναι μία αναδρομική υλοποίηση του υπολογισμού των αριθμών Φιμπονάτσι στην γλώσσα προγραμματισμού C++.
• Το LEGO Java Operating System (LeJOS) είναι μια γλώσσα προγραμματισμού βασισμένη σε JAVA που χρησιμοποιείται για να προγραμματίζουμε το RCX.
• Ένα παράδειγμα δηλωτικού προγραμματισμού είναι η χρήση των κανονικών εκφράσεων όπου υπάρχουν στις περισσότερες σύγχρονες γλώσσες προγραμματισμού.