×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [static semantics]
Home >
static semantics
3b 3b Semantics CMSC 331, Some material © 1998 by Addison Wesley Longman, Inc.
215 views
An Example of Translation and Proof using Higher-Order Abstract Syntax Michael W. Whalen Advanced Technology Center Rockwell Collins Inc.
217 views
Aggregate Data Structures COS 441 Princeton University Fall 2004.
218 views
CDISC Technology HITSP, 15 th October 2008 Dave Iberson-Hurst CDISC VP Technical Strategy 1.
217 views
A Semantic Framework for DSLs Zekai Demirezen Advisor: Dr. Jeff Gray Doctoral Symposium OOPSLA 2009 Software Composition and Modeling Lab This work funded.
218 views
BRIDG Update HL7 Working Group Meeting Lake Buena Vista, FL 17 May, 2011.
216 views
TTCN-3 An Introductory Overview, Copyright ETSI 2000Slide 1 An Introductory Overview Anthony Wiles ETSI PTCC/ETSI STF 156.
221 views
A Semantic Framework for DSLs
42 views
Communication and Concurrency: CCS
58 views
Comp Lecture
64 views
CDISC – 17/12/2012
75 views
< Previous