Font Size:
a
A
A
Compiler correctness for concurrent languages
Posted on:
1996-09-08
Degree:
Ph.D
Type:
Thesis
University:
Northeastern University
Candidate:
Gladstein, David Steven
Full Text:
PDF
GTID:
2468390014987841
Subject:
Computer Science
Abstract/Summary:
he goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true concurrency. The work has proceeded through the following steps.;A process calculus, called CLAM, was defined, based on the...
Keywords/Search Tags:
Compiler
Related items
1
Research On Compiler Optimization Technologies For THUMP
2
Design And Implementation Of Memory Compiler For Embedded SOC
3
Research On Compiler Testing Technology Based On Compiler's Self-coverage
4
Research Of Automatic Compiler Tuning Base On Machine Learning
5
Research On Compiler Adaption With Machine Learning
6
Design And Implementation Of High Integrity Safe-Compiler
7
Improving the utility of compiler fuzzers
8
Design And Implement Of P4 Language Compiler Based On NPU
9
Compiler-driven I/O minimization
10
An optimizing compiler for configurable logic