Programming Languages

Automatic Programming. Pergamon Press, 1974. (2008)

D. Bjørner, C. B. Jones, H. Bekič, C. B. Jones, Programming Languages, Their Definition

Conference proceedings [12]–[22] Articles (refereed, invited or both) [23]–[132] Conference talks (where no cited publication available) [133]–[160]. Technical reports (where not preprints of...

[8] Benjamin C. Pierce. Advanced Topics in Types and Programming Languages. (2008)

Programming Languages, The Mit Press, Daniel P. Friedman, Matthias Felleisen, The Little, ...

[12] Paul R. Wilson. Uniprocessor garbage collection techniques. In Proc.

Thesis: Whole-Program Data Locality Hierarchy (2008)

Yutao Zhong, Program Analysis, Programming Languages, Advisor Dr. Chen Ding

Thesis work focuses on program locality behavior measurement, analysis, and optimization. The central concept is reuse distance, which measures the volume of intervening data between two consecutive...

Turner, D.A. (1979). A New Implementation Technique for Applicative Languages. Software- Practice and Experience, 9, 31-49. Turner, D.A. (1985). Functional Programs as Executable Specifications. In: C.A.R.

Programming Languages, J. J. Elliott, N. E. Fenton, S. Linkman, G. Markman, R. Whitty (eds) Structurebased, ...

Turner, D. (1982). Recursion equations as a programming language. In: Darlington, J