denotational semantics - Globe Thesis

Font Size: a A A

Keyword [denotational semantics] Result: 1 - 10 \| Page: 1 of 1
1.	Resource Models And Hardware Synthesis For System Level Design Language
2.	Denotational Semantics And Program Analysis For ATLAS
3.	Constraint Based Prolog Semantics And Its Applications In The Testing, Analysis And Verification Of Prolog Programs
4.	The Theory Of Signal Calculus
5.	Metric Denotational Semantics For Probabilistic Process Algebra
6.	A Preliminary Study For Event Structure Of Concurrency System
7.	Research On Semantics Of UML Models Based On Denotational Semantics And RCOS
8.	Hybrid Modeling Language Hyml And Its Formal Semantics
9.	Formal Semantics Of Parameterized Networks Of Processes
10.	Research On Architecture And Key Techniques Of Cloud Computing Oriented Simulation System
<<First <Prev Next> Last>> Jump to