# Browse by Title

• (1975)

application/pdf

PDF (11Mb)
• (Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign, 1969)

application/pdf

PDF (216Kb)
• (Illinois Center for Transportaton, 2014-01)
Northwestern University and the Illinois Department of Transportation, with ASTM A606 Type 4 weathering steel used in Illinois and many other states for sign and signal structures, light poles, and other highway structures. ...

application/pdf

PDF (4Mb)
• (1957)

application/pdf

PDF (3Mb)
• (1969)

application/pdf

PDF (13Mb)
• (1990)
The Acquired Immunodeficiency Syndrome (AIDS) has become a major health problem in the world and is discussed in the literature of many disciplines. Using bibliometric techniques and a mailed questionnaire, 87 international, ...

application/pdf

PDF (4Mb)
• (European Union Center, 2004)
Putnam's theory of "two-level games" has spawned numerous studies examining the interaction between international and domestic politics, many focusing on politics in the European Union. While noting that ratification may ...

application/pdf

PDF (433Kb)
• (2011-08-25)
In this thesis I examine a variety of linguistic elements which involve alternative'' semantic values---a class arguably including focus, interrogatives, indefinites, and disjunctions---and the connections between these ...

application/pdf

PDF (2Mb)
• (Association of College and Research Libraries. American Library Association, 1955-10)

application/pdf

PDF (1Mb)
• (2010-07)
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of ...

application/pdf

PDF (279Kb)
• (2010-06-22)
Memory corruptions are a major part of security attacks observed nowadays. Many protection mechanisms have been proposed to fight against them. These techniques can be broadly classified into two categories: those that ...

application/pdf

PDF (2Mb)
• (Champaign, Ill. : University of Illinois at Urbana-Champaign, Center for the Study of Reading., 1990)

application/pdf

PDF (870Kb)
• (2004-03)
The field of studies on complex systems is becoming one of the most active research areas in computer science. Among those systems, there is a type of system that has the following characteristics: comprising a large number ...

application/pdf

PDF (170Kb)
• (2014-01-16)
Formal methods have revolutionized software reliability and safety, and design patterns has revolutionized software reusability and modularity. However, the preciseness required for formal methods and the flexibility ...

application/pdf

PDF (1Mb)
• (Association of College and Research Libraries. American Library Association, 1979-07)

application/pdf

PDF (353Kb)
• (1985)
This thesis is on the subject of computer architecture, specifically in the area of architecture representation. The main results are that it is possible to represent computer architectures in a formal fashion and that ...

application/pdf

PDF (4Mb)
• (2007-07)
This paper presents a formal definition of Scheme (based on the informal definition given in the R5RS report R5RS. The definition is purely equational, so it can be regarded as an algebraic denotational specification with ...

application/pdf

PDF (234Kb)
• (2012-09-18)
This dissertation shows that complex, real programming languages can be completely formalized in the K Framework, yielding interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, ...

application/pdf

PDF (4Mb)
• (2011-11-22)
This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully ...

application/pdf

PDF (591Kb)
• (2013-08-22)
This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

application/pdf

PDF (220Kb)