Search Results

Select result number 1
1

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Yang, Bwolen, Simmons, Reid, Bryant, Randal E., O'Hallaron, David R.
Published 1999
Subjects: “...SYNTAX...”

Get access
Get access

Text
Select result number 2
2

Automatic Generation of Data Conversion-Programs Using a Data Description Language (DDL). Volume I. System Description and Documentation.

by Ramirez,Jesus Arturo
Published 1973
Subjects: “...SYNTAX)...”

Get access
Get access

Text
Select result number 3
3

Automatic Generation of Data Conversion-Programs Using a Data Description Language (DDL). Volume II. Appendix A. User Guide, Appendix B. SAPG User Guide, Appendix C. DDL Overlay, A...

by Ramirez,Jesus Arturo
Published 1973
Subjects: “...SYNTAX...”

Get access
Get access

Text
Select result number 4
4

A Minicomputer Implementation of a Data Model Independent, User-Friendly Interface to Databases.

by Guidry,Michael D
Published 1982
Subjects: “...SYNTAX...”

Get access
Get access

Text
Select result number 5
5

An Ada/SQL (Structured Query Language) Application Scanner.

by Brykczynski, Bill R, Friedman, Fred, Heatwole, Kevin, Hilliard, Kerry
Published 1988
“... are coded using pure Ada syntax and semantics. The DDL resides in a package specification and is used...”

Get access
Get access

Text
Select result number 6
6

Dependently Typed Programming with Domain-Specific Logics

by Licata, Daniel R.
Published 2011
“... with abstract syntax but not logical derivations. Third contribution is to generalize this framework...”

Get access
Get access

Text

Narrow Search