Compiling a 50-year journey

Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example in a modern context, and show how such a compiler can now be calculated directly from a specification of its correctness using simple equational reasoning techniques

The design decision trail

This was a published paper presented at the International Conference on Engineering and Product Design Education on the 6th and 7th of September 2012 at the Artisis University College, Antwerp, Belgium. The Design Decision Trail is a student produced, visual narrative of a design project. It includes the signposting of key design decision points within the edited from the project. It is used to share information with student peers, tutors and potential employers. It is now being used in both undergraduate and postgraduate design study at the University of Northampton. Employers have endorsed its use at interview and offered students design employment. It is now being considered as a teaching aid in non-design subject areas within the universit

THE USE OF METAPHORICAL MEANING IN SPORT NEWS HEADLINES

Dalam penulisan sebuah berita olahraga, wartawan sering menggunakan bahasa kiasan. Penelitian ini bertujuan mengklasifikasikan dan mendeskripsikan makna metafora yang digunakan dalam judul berita olahraga di harian surat kabar Jawa Pos. Metafora adalah gaya bahasa yang membandingkan dua hal yang berbeda. Penelitian ini menggunakan metode kualitatif deskriptif, karena mendeskripsikan makna metafora yang terdapat dalam judul berita olahraga. Dengan menggunakan purposive sampling, penulis memilih sepuluh judul berita olahraga yang mengandung metafora konseptual; menurut Lakoff dan Johnson (1980), metafora konseptual adalah metafora yang merefleksikan apa yang kita alami, kita rasakan, dan kita pikirkan dalam kehidupan sehari-hari. Dari hasil analisis, saya menemukan jenis metafora konseptual, berupa metafora struktural, orientasional, dan ontologikal. Jenis metafora konseptual yang banyak digunakan oleh wartawan adalah metafora orientasional. Gaya bahasa, khususnya metafora, banyak digunakan oleh wartawan untuk membuat judul berita olahraga menjadi lebih menarik

Spartan Daily, April 25, 2019

Volume 152, Issue 37https://scholarworks.sjsu.edu/spartan_daily_2019/1036/thumbnail.jp

Duality, the Methodology of Shooting a Documentary as a One-Man Crew

This thesis will discuss Duality, a long-form documentary about artistic nude models who also create art involving the nude female form. This thesis will discuss the inspiration for the film, as well as the deciding factors that made me choose this as the topic for my thesis documentary. This thesis will also cover the process and methodology of shooting a documentary as a one-man crew, beginning with the process of preproduction, then the principal photography of the documentary, followed by the editing and postproduction process, and finally premiering the final film

“Fairly Well Known and Need Not be Discussed”: Colonel A.F. Duguid and the Canadian Official History of the First World War

In 1938, Colonel Archer Fortescue Duguid published the first and only volume of his Canadian official history of the First World War. It was eagerly anticipated as the Historical Section had been directed to compile such a history in 1921, and many veterans as well as the public were puzzled by the delay in publication. Despite this, however, reviewers were generally satisfied with the results. Writing in the Legionary, W.W. Murray declared it “a masterly work of great care and precision,” while W.B. Kerr believed that it would form the basis for all future works on the subject. It was hoped that the positive response would hasten completion of the remaining seven volumes; but nine years later and with seemingly little progress made, the project was ancelled

On the Origins of Some English Idioms and the Adequacy of Their Definitions in the Georgian Dictionaries (II Part)

The aim of this article is to fill the informative gap and to overcome those difficulties which arise in case of not having the adequate interpetation or exact definition of the English idioms in the Georgian dictionaries.This paper investigates some idiomatic expressions and observes how often they are used in the modern English publicist texts from “The Guardian”, “Fortune”, “The Scotsman”, “The Independent” etc. whether they have preserved their original meanings or obtained some other new senses and coloring. More than this, the goal is to research if there is an adequate translation or interpretation of those English idioms in the Georgian language bilingual dictionaries. If there is not any, then the objective is how to make their adequate Georgian equivalents and, as a result to compose a new mini-dictionary of idioms. The urgent need for etymological study of idioms is also stimulated by the fact that the phraseology condensates the complex interaction of the culture and psychology of people, national self-being and their unique metaphoric mentality The reaserch value is dectated by its outcome, namely, it will be the research not only of those idioms which have the adequate definitions in the Georgian dictionaries, but find out some cases of not having the right definition and in result to compile the mini be-lingual dictionary of idioms. It can be assumed, that it will make a siginificant contribution to the development of lexicography in Georgia