Upload File

formal semantics of programming language s

5
Formal Semantics of Programming Languages 虞虞虞 [email protected] 虞虞虞虞虞 Syllabus

Upload: jescie-rodgers

Post on 31-Dec-2015

33 views

Category:

Documents


0 download

Report

DESCRIPTION

Formal Semantics of Programming Language s. 形式语义学 Syllabus. 虞慧群 [email protected]. Course Description. Aim: Mathematics, techniques and concepts for understanding and reasoning about how programs behave. Instructor: Huiqun Yu E-mail: [email protected] - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Formal Semantics of Programming Language s

Formal Semantics of Programming Languages

虞慧群[email protected]

形式语义学Syllabus

Page 2: Formal Semantics of Programming Language s

Course Description

Aim: Mathematics, techniques and concepts for

understanding and reasoning about how programs behave.

Instructor:

Huiqun Yu

E-mail: [email protected]

URL: http://cs.ecust.edu.cn/~yhq/course/fs2011fall.htm

Page 3: Formal Semantics of Programming Language s

Topics

Introduction (2 Lecture)Operational semantics (2) Principles of induction (2) Denotational semantics (3)Axiomatic semantics (3) Advanced issues (4)

Page 4: Formal Semantics of Programming Language s

Resources Text:

Glynn Winskel . The Formal Semantics of Programming Languages. The MIT Press, 1993

( 中译本 : 宋国新，邵志清 . 程序设计语言的形式语义 . 机械工业出版社， 2004)

References:1. Eike Best. Semantics of Sequential and Parallel

Programs. Prentice-Hall, 19962. Fred KrÖger. Temporal Logic of Programs. Springer-

Verlag, 1988

Page 5: Formal Semantics of Programming Language s

Grading

Class Attendance & Performance (20%) Report (80%)

Submission due date: January 8, 2012


A Formal Semantics for the C Programming Language - Software

Addison Wesley - Formal Syntax and Semantics of Programming Languagescdn.preterhuman.net/texts/science_and_technology... · 2012-10-01 · Formal Syntax and Semantics of Programming

Stokhof - Wittgenstein & Formal Semantics

Lin - Semantica LP - Formal Syntax and Semantics of Programming Languages (4up, Cor)

20120309 formal semantics shilov_lecture06

Programming Language Semantics Denotational Semantics

Master’s Thesis in Formal Verificationalgebra, formal semantics of programming languages such as operational semantics, denotation semantics, axiomatic semantics and Hoare logic

Formal Semantics of Programming Language s

The Formal Semantics of Programming Languages YuxinDeng ...yuxin/teaching/Semantics/sem2016.pdf · Different styles of semantics are dependent on each other. E.g. • To show the

CSEP505: Programming Languages Lecture 4: Untyped lambda-calculus, Formal Operational Semantics, … Dan Grossman Winter 2009

Operational Semantics - Nanjing University · Operational Semantics 1/111. A programming language I Syntax I Semantics 2/111. Why formal semantics Formal semantics gives an unambiguous

Addison Wesley - Formal Syntax and Semantics of ... Intelligence/Natural...Formal Syntax and Semantics of Programming Languages ... Chapter 7 describes the translation of Wren into

The Formal Semantics of Programming Languages YuxinDeng

Programming Languages (CS 550) Lecture 9 Summary I ntroduction to Formal Semantics

Formal semantics and functional semantics

Programming Languages Third Edition Chapter 12 Formal Semantics

(TFCS)Formal syntax and semantics of programming languages

20120309 formal semantics shilov_lecture02

A Formal Semantics for the C Programming Language

The Formal Semantics of Programming Languages ...yuxin/teaching/Semantics/sem...Formal semantics of programming languages Y. Deng@SJTU 21 2.2 The evaluation of arithmetic expressions

The Formal Semantics of Programming Languages Glynn Winskel … › ~msagiv › courses › pl14 › new_axiomatic.pdf · 2014-04-06 · The Formal Semantics of Programming Languages

Comp 205: Comparative Programming Languages Semantics of Imperative Programming Languages denotational semantics operational semantics logical semantics

The Semantics, Formal Correctness and Implementation of ... · The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language A thesis

A Formal Semantics for the C Programming Language - Emil Khattab

Formal Semantics Chapter Twenty-ThreeModern Programming Languages, 2nd ed.1

CSC 501 { Semantics of Programming Languages · CSC 501 { Semantics of Programming Languages Subtitle: An Introduction to Formal Methods. Instructor: Dr. Lutz Hamel Email: [email protected]

Chapter Twenty-ThreeModern Programming Languages1 Formal Semantics

The Formal Semantics of Programming Languages ...basics.sjtu.edu.cn/~yuxin/teaching/Semantics/sem2016.pdfWhy formal semantics? • To understand how programs behave • To build a

Formal Syntax And Semantics Of Programming …aleteya.cs.buap.mx/~jlavalle/papers/books_on_line/Formal...Formal syntax and semantics of programming languages: a laboratory based approach

Logic and Natural Language Semantics: Formal Semantics

1 / 48 Formal a Language Theory and Describing Semantics 886340 Principles of Programming Languages 4

Formal Semantics of Programming Languages 虞慧群 [email protected] Topic 6: Advanced Issues

0262231697 Formal Semantics

20120309 formal semantics shilov_lecture05

Formal Syntax And Semantics Of Programming Languages · Formal syntax and semantics of programming languages: a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz. p.cm