<--- Back to Details
First PageDocument Content
Logic in computer science / Formal methods / Mathematical logic / Notation / Programming language / Formal verification / Semantics / Structure / Program transformation / Logic programming / Model theory / Denotational semantics
Date: 2015-04-24 09:43:30
Logic in computer science
Formal methods
Mathematical logic
Notation
Programming language
Formal verification
Semantics
Structure
Program transformation
Logic programming
Model theory
Denotational semantics

Add to Reading List

Source URL: staff.ustc.edu.cn

Download Document from Source Website

File Size: 399,79 KB

Share Document on Facebook

Similar Documents

Mathematics / Arithmetic / Interval / Bracket / E1

nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1 2

DocID: 1xW07 - View Document

Computer programming / Software engineering / Computing / Source code / Programming languages / Transformation languages / Metaprogramming / Lambda calculus / Macro / Hygienic macro / Syntax / Anonymous function

This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

DocID: 1xU8m - View Document

PDF Document

DocID: 1xF2H - View Document

PDF Document

DocID: 1w41X - View Document

Lesson 2 Today in Class Today we found “Middle C” on the keyboard. In our pictorial notation Middle C is represented by a boat on the water. We played musical games involving high notes, low notes and Middle C.

DocID: 1vr1r - View Document