221 |
Achieving robust performance in parallel programming languages /Lewis, E Christopher, January 2001 (has links)
Thesis (Ph. D.)--University of Washington, 2001. / Vita. Includes bibliographical references (p. 104-113).
|
222 |
Contextual and data refinement for the refinement calculus for logic programs /Colvin, Robert John. January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Queensland, 2002. / Includes bibliographical references.
|
223 |
Semantic integrity recommendations on good design methodology /Kogan, Irina. January 2001 (has links)
Thesis (M. Sc.)--York University, 2001. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 155-159). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://wwwlib.umi.com/cr/yorku/fullcit?pMQ71641.
|
224 |
Language and compiler support for mixin programmingCardone, Richard Joseph. January 2002 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references. Available also from UMI Company.
|
225 |
Defining and Preventing Code-injection AttacksRay, Donald 01 January 2013 (has links)
This thesis shows that existing definitions of code-injection attacks (e.g., SQL-injection attacks) are flawed. The flaws make it possible for attackers to circumvent existing mechanisms, by supplying code-injecting inputs that are not recognized as such. The flaws also make it possible for benign inputs to be treated as attacks. After describing these flaws in conventional definitions of code-injection attacks, this thesis proposes a new definition, which is based on whether the symbols input to an application get used as (normal-form) values in the application's output. Because values are already fully evaluated, they cannot be considered ``code'' when injected. This simple new definition of code-injection attacks avoids the problems of existing definitions, improves our understanding of how and when such attacks occur, and enables us to evaluate the effectiveness of mechanisms for mitigating such attacks.
|
226 |
Automated reasoning about actionsLee, Joohyung 28 August 2008 (has links)
Not available / text
|
227 |
Language and compiler support for mixin programmingCardone, Richard Joseph 18 April 2011 (has links)
Not available / text
|
228 |
D: a distributed object oriented programming language李詠康, Lee, Wing-hong. January 1994 (has links)
published_or_final_version / Electrical and Electronic Engineering / Master / Master of Philosophy
|
229 |
THE DESIGN AND IMPLEMENTATION OF A MACHINE-INDEPENDENT GENERAL SYSTEM THEORETIC LANGUAGEMullens, Lanny Joe, 1946- January 1973 (has links)
No description available.
|
230 |
GESTRE: a teaching system for the computer language DIGESTFertig, Janet A. January 1975 (has links)
No description available.
|
Page generated in 0.0341 seconds