Northwestern University

Parent Unit Name

Login

LIBRARIES | ARCH

Menu Search

Start Over

Filtering by: Creator Florence, Spencer P Resource type Dissertation Subject Computer science

1 entry found

List Gallery Masonry Slideshow

A Constructive Calculus for Esterel

Description:

The language Esterel has found success in many safety-critical applications, from aircraft landing gear to digital signal processors. Its unique combination of powerful control operations, deterministic concurrency, and real time execution bounds are indispensable to programmer in these kinds of safety-critical domains. However these features lead to an interesting facet...

Keyword:

Programming Languages, Semantics, Calculus, and Esterel

Subject:

Computer science

Creator:

Florence, Spencer P

Owner:

Scholarly Digital Publishing

Language:

en

Date Uploaded:

02/01/2021

Date Created:

2020-01-01

Resource Type:

Dissertation

Alternate Identifier:

etdadmin_upload_754043 and http://dissertations.umi.com/northwestern:15182