Accession Number : ADA312531

Title :   Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems.

Descriptive Note : Final progress rept.,

Corporate Author : JOHNS HOPKINS UNIV BALTIMORE MD

Personal Author(s) : Zwarico, Amy E.

PDF Url : ADA312531

Report Date : 24 JUL 1996

Pagination or Media Count : 4

Abstract : The results fall into two primary categories: real-time process algebras and type theories for object oriented programs. The process algebra results include a richer semantic framework for expressing real time processes, the development of an algebra for expressing both preemptive and nonpreemptive processes, axiomatizations of the algebra, implementations of these axiomatizations, and equivalence for Pict, a concurrent object-oriented programming language based on the pi-calculus. The OO results include the development of constraint-based type systems (including inference algorithms) for object-oriented languages.

Descriptors :   *OBJECT ORIENTED PROGRAMMING, ALGORITHMS, REAL TIME, SEMANTICS, ALGEBRA, CONCURRENT ENGINEERING, MATHEMATICAL PROGRAMMING, SYSTEMS ANALYSIS, HIGH LEVEL LANGUAGES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE