# Browse by Title

• (2007-10)
This paper presents an executable rewriting logic semantics of R5RS Scheme using the K definitional technique [19]. We refer to this definition as K-Scheme. The presented semantics follows the K language definitional style ...

application/pdf

PDF (193kB)
• (1967)
An experiment has been performed in which 436,000 exposures were taken using the separated K- beam at the ANL ZGS and the MURA 30 il hydrogen hubble chamber. As a part. of this experiment a study of the Kpipi system in ...

application/pdf

PDF (6MB)
• (Champaign, Ill. : Illinois State Geological Survey,, 1986)

application/pdf

PDF (3MB)
• (2014-10-27)
This is a companion report to the POPL'15 paper on K-Java, describing in detail the semantics of method invocation and of object creation.

application/pdf

PDF (300kB)
• (1997)
K/Ar dating of different size fractions of I/S samples reveals three episodes of illitization in the alteration profiles: 432-424 Ma, 410-383 Ma, and ${\sim}{-}314$ Ma. Rb-Sr and oxygen isotopic data suggest I/S of the ...

application/pdf

PDF (10MB)
• (1970)
Presented in this report are the results of a study of K+p elastic scattering at incident kaon momenta of 2.53, 2.76, and 3.20 GeV/c. The data were obtained from exposures of the MURA 30" hydrogen bubble chamber at the ...

application/pdf

PDF (4MB)
• (iSchools, 2013-02)
K-Pop live is a social networking and language learning platform developed by an undergraduate student team from Singapore Management University. K-Pop live aims to combine social media together with gamification to promote ...

application/pdf

PDF (257kB)
• (1972)

application/pdf

PDF (2MB)
• (1970)
The reaction K+p →Kopπ+ has been studied with a 3 eV/µb exposure in the ANL 30-inch hydrogen bubble chamber. The 5700 two-prong Vo events in this film sample were measured on SMP's and processed with the Illinois programs ...

application/pdf

PDF (2MB)
• (1917)

application/pdf

PDF (9kB)
• (2006-12)
K is an algebraic framework for defining programming languages. It consists of a technique and of a specialized and highly optimized notation. The K-technique, which can be best explained in terms of rewriting modulo ...

application/pdf

PDF (1MB)
• (2005-12)
K is an algebraic framework for defining programming languages. It consists of a technique and of a specialized and highly optimized notation. The K-technique, which can be best explained in terms of rewriting modulo ...

application/pdf

PDF (772kB)
• (2007-12)
K is a definitional framework based on term rewriting, in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of special list and/or set structures, called cells, ...

application/pdf

PDF (1MB)
• (2007-12)
K is a definitional framework based on term rewriting, in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of special list and/or set structures, called cells, ...

application/pdf

PDF (1MB)
• (1984)
This thesis presents a novel account of the most important phonological and morphological processes operating in a Berber language, -Kabyle-, spoken in parts of Algeria. The study is conducted within the framework of the ...

application/pdf

PDF (10MB)
• (1995)
This is a case study of an elementary teacher, Annie, who has been teaching for 26 years. The purpose of the study is to find out what qualities she has developed that have made her have a reputation as a good teacher. ...

application/pdf

PDF (6MB)
• (1915)

application/pdf

PDF (12kB)
• (Association of College and Research Libraries. American Library Association, 1992-07)

application/pdf

PDF (965kB)
• ([Urbana-Champaign] : College of Commerce and Business Administration, University of Illinois Urbana-Champaign,, 1989-08)

application/pdf

PDF (3MB)
• (1968)

application/pdf

PDF (13MB)