Chapter: Formal Model for Program Analysis

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification > Formal Model for Program Analysis

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification |

Abdoulaye Gamatié

Springer New York

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Formal Model for Program Analysis

Chapter Info

Authors

Abdoulaye Gamatié

ARI Id

1664658683417_2601736

Access

Not Available Free

Pages

109-119

DOI

10.1007/978-1-4419-0941-1_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4419-0941-1_8

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Table of Contents of Book

entries per page

Filter:

Showing 1 to 19 of 19 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		1-20
Front Matter		1-1
Generalities on Real-Time Programming	Abdoulaye Gamatié	3-20
Synchronous Programming: Overview	Abdoulaye Gamatié	21-39
Front Matter		42-42
Basics: Signals and Relations	Abdoulaye Gamatié	43-61
Programming Units: Processes	Abdoulaye Gamatié	63-71
Extended Constructs	Abdoulaye Gamatié	73-81
Design in Polychrony: First Steps	Abdoulaye Gamatié	83-92
Front Matter		94-94
Formal Semantics	Abdoulaye Gamatié	95-108
Formal Model for Program Analysis	Abdoulaye Gamatié	109-119
Compilation of Programs	Abdoulaye Gamatié	121-145
Front Matter		148-148
Advanced Design Concepts	Abdoulaye Gamatié	149-158
GALS System Design	Abdoulaye Gamatié	159-170
Design Patterns	Abdoulaye Gamatié	171-190
A Synchronization Example Design with Polychrony	Abdoulaye Gamatié	191-209
Back Matter		1-47
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 19 of 19 entries

«
‹
1
›
»

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Article Headings

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»