Σχεδίαση και υλοποίηση ενός στατικού συστήματος τύπων
για επικοινωνούσες διεργασίες

Μπενετόπουλος, Αχιλλέας; Benetopoulos, Achilleas

dc.contributor.author	Μπενετόπουλος, Αχιλλέας	el
dc.contributor.author	Benetopoulos, Achilleas	en
dc.date.accessioned	2020-05-18T14:38:06Z
dc.date.available	2020-05-18T14:38:06Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/50632
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.18330
dc.rights	Αναφορά Δημιουργού-Όχι Παράγωγα Έργα 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nd/3.0/gr/	*
dc.subject	Συστήματα τύπων	el
dc.subject	Γλώσσες προγραμματισμού	el
dc.subject	Τύποι συνεδριών	el
dc.subject	Κατανεμημένα συστήματα	el
dc.subject	Συναρτησιακός προγραμματισμός	el
dc.subject	Τype systems	en
dc.subject	Programming languages	el
dc.subject	Session types	el
dc.subject	Distributed systems	el
dc.subject	Functional programming	el
dc.title	Σχεδίαση και υλοποίηση ενός στατικού συστήματος τύπων για επικοινωνούσες διεργασίες	el
heal.type	bachelorThesis
heal.classification	Γλώσσες προγραμματισμού	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2019-10-21
heal.abstract	Κινούμαστε όλο και περισσότερο προς κατανεμημένα προγραμματιστικά μοντέλα. Τα περισσότερα σύγχρονα συστήματα λογισμικού είναι κατανεμημένα και ταυτόχρονα, που σημαίνει ότι αποτελούνται από διάφορα κομμάτια, το καθένα από τα οποία εκτελεί ένα σύνολο από “εσωτερικές“ σε αυτά λειτουργίες συγχρόνως με τα υπόλοιπα, τη στιγμή όμως που όλα τους εξαρτώνται από ένα υποσύνολο των υπολοίπων για να τις εκτελέσουν, λόγο διαφόρων εξαρτήσεων. Αυτό σημαίνει ότι η επικοινωνία μεταξύ των κομματιών αυτών ανάγεται σε ένα κρίσιμο κομμάτι του συστήματος, και η ορθότητα της επικοινωνίας αυτής αποτελεί μια απαραίτητη προϋπόθεση για την ορθότητα του όλου συστήματος.	el
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Γκούμας, Γεώργιος	el
heal.committeeMemberName	Σαγώνας, Κωνσταντίνος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.academicPublisherID	ntua
heal.fullTextAvailability	false