Semantics of Programming Languages

Submitted by admin on Fri, 18/03/2016 - 14:46
Course Type: 
Core Course
ID: 
Μ105
ECTS: 
8
Credits: 
4
Semester : 
Spring
Specialization: 
1st
Credit hours (lecture): 
4
Credit hours (discussion): 
0
Credit hours (lab): 
0
Prerequisites : 
Introduction to Programming
Webpage: 
http://eclass.uoa.gr/courses/D241/
Textbook: 
<p>(άρθρα από τη βιβλιογραφία και σημειώσεις)</p>
Instructor: 
Rondogiannis Panos

Semantics of programming languages ​​(denotational, axiomatic, operational) . Semantics of imperative languages. Complete partial orders (cpos). Monotone and continuous functions. Fixed point theorems for cpos. Semantics of functional languages with recursive equations and higher-types. Semantics of logic programs. Semantics of negation in logic programming . Disjunctive logic programming. Higher-order logic programming.