Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
31680 open access dissertations and theses found for:
if(Typed assembly language)  »   Refine Search
1.
Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
by Hernandez, Ivory, M.S.C.S.  University of South Florida. 2017: 65 pages; 10640802.
2.
Optimizing Jython using invokedynamic and Gradual Typing
by Bharadwaj, Shashank, M.S.  University of Colorado at Boulder. 2012: 74 pages; 1533380.
3.
Functional programming with logical frameworks
by Poswolsky, Adam Brett, Ph.D.  Yale University. 2008: 534 pages; 3342732.
4.
Automated Black Box Generation of Structured Inputs for Use in Software Testing
by Dewey, Kyle Thomas, Ph.D.  University of California, Santa Barbara. 2017: 318 pages; 10605739.
5.
On the test-driven development of emerging modularization mechanisms
by Setty, Rakesh B., M.S.  Iowa State University. 2008: 82 pages; 1461967.
6.
A theory of typed hygienic macros
by Herman, David, Ph.D.  Northeastern University. 2010: 168 pages; 3398847.
7.
Modal types for mobile code
by Murphy, Tom VII, Ph.D.  Carnegie Mellon University. 2008: 376 pages; 3314655.
8.
Effects of input modality on capturing notes
by Bijani, Chaya, M.S.  San Jose State University. 2015: 55 pages; 1602933.
9.
10.
Types for the Chain of Trust: No (Loader) Write Left Behind
by Shapiro, Rebecca, Ph.D.  Dartmouth College. 2018: 221 pages; 10811531.
11.
The complexity of flow analysis in higher-order languages
by Van Horn, David, Ph.D.  Brandeis University. 2009: 162 pages; 3369445.
12.
A Functional Approach to Memory-Safe Operating Systems
by Leslie, Rebekah, Ph.D.  Portland State University. 2011: 342 pages; 3481882.
13.
Improving the performance of cross-domain authorship attribution
by Sapkota, Upendra, Ph.D.  The University of Alabama at Birmingham. 2015: 85 pages; 3739881.
15.
Toward a molecular programming language for algorithmic self-assembly
by Patitz, Matthew John, Ph.D.  Iowa State University. 2010: 174 pages; 3403166.
16.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
17.
Investigation of virus capsid self-assembly kinetics using discrete-event stochastic simulation
by Zhang, Tiequan, Ph.D.  Carnegie Mellon University. 2007: 131 pages; 3293505.
18.
Stationary fields in object -oriented programs
by Unkel, Christopher, Ph.D.  Stanford University. 2009: 98 pages; 3395874.
19.
A study of language *policy and language planning in a small private school in Puerto Rico
by Malaret-Collazo, Agnes, Ph.D.  University of Pennsylvania. 2009: 214 pages; 3363697.
20.
Analytical and Numerical Modeling of Assembly Procedures of Steel Fulcra of Bascule Bridges
by Garapati, Sri Harsha, Ph.D.  University of South Florida. 2013: 173 pages; 3557075.
21.
Lightweight Programming Abstractions for Increased Safety and Performance
by Osvald, Leo, Ph.D.  Purdue University. 2018: 147 pages; 10808010.
22.
The Revised and Expanded Version: A Series of Etchings
by O'Donnell, Bridget R., M.F.A.  Kent State University. 2012: 28 pages; 10631333.
23.
The computational content of isomorphisms
by James, Roshan P., Ph.D.  Indiana University. 2013: 197 pages; 3587675.
25.
The geometry of evolutionary constraints on dynamic structure-function relationships
by Smith, Cameron Ray, Ph.D.  Yeshiva University. 2015: 176 pages; 3664551.
26.
Examining the Impact of Technology on Primary Students' Revision of Written Work
by Lisy, Jennifer Garrette, Ph.D.  University of Illinois at Chicago. 2015: 219 pages; 3728691.
27.
Language learning in adulthood: Why some have more trouble than others
by Smith, Asha Halima, Ph.D.  Stanford University. 2009: 96 pages; 3382951.
28.
Nanopass compiler infrastructure
by Sarkar, Dipanwita, Ph.D.  Indiana University. 2008: 176 pages; 3337263.
29.
Accessing the semantics of Japanese numeral classifiers
by Ngo, Nancy T., M.A.  California State University, Long Beach. 2015: 78 pages; 1586876.
1 - 30 of 31680 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest