Compiling a 50-year journey

2017 ◽  
Vol 27 ◽  
Author(s):  
GRAHAM HUTTON ◽  
PATRICK BAHR
Keyword(s):  
Compiler Verification ◽  
Equational Reasoning ◽  
John Mccarthy ◽  
Modern Context ◽  
Arithmetic Expressions

AbstractFifty 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.

Quintilian as Ancient Thinker

1995 ◽  
Vol 13 (3) ◽  
pp. 219-230 ◽  
Author(s):  
F. Edward Cranz
Keyword(s):  
Primary Function ◽  
Modern Context ◽  
The Mind

Abstract: This essay presents Quintilian as representative of the ancient categories of thought, in contrast to the medieval-modem one which emerged in the generations of Anselm and Abelard. Quintilian works in the first place with an exhaustive dualism of words and res: res span both what is outside the mind and what is taken into the mind, so that for him there is no medieval-modern trichotomy of words, meanings, and things. In the second place, for Quintilian the primary function of the mind is to take the outside world into itself, while in the medieval-modern context the primary function of mind is to make up meanings by which to think about things outside the mind.

Search for Integrated Technologies in the Activity of Libraries in the Modern Context

2013 ◽  
pp. 20-26
Author(s):  
Gennady L. Ruksha
Keyword(s):  
The State ◽  
Cultural Institutions ◽  
Krasnoyarsk Region ◽  
Modern Context

The article analyses the contradictions of the current functioning of socio-cultural institutions in the field of education, considers the place and the role of libraries in this process, describes the experience of the State Universal Scientific Library of Krasnoyarsk Region in organizing book-illustrative exhibitions, people's university, academic meetings.

World War II in modern context

2018 ◽  
Vol 2018 (06) ◽  
pp. 122-136
Author(s):  
Petr Iskenderov
Keyword(s):  
World War Ii ◽  
World War ◽  
Modern Context

The modern context of volunteering

2018 ◽  
Author(s):  
Steven Howlett
Keyword(s):  
Paid Work ◽  
Constant Change ◽  
Management Techniques ◽  
Modern Context ◽  
Considerable Resource ◽  
Volunteer Motivations

Volunteering extends into almost every facet of life but the circumstances in which it takes place are subject to almost constant change. Historical roots of altruistic, charitable, and campaigning behaviours are still evident, but the importance of different motivations maybe be altering. Organizations involving volunteers seek to understand volunteer motivations and to find better ways to manage volunteers. And yet there is still disagreement as to how far management techniques from paid work are suitable for volunteers. Meanwhile, the reach of government seems ever stronger as volunteering continues to offer ways to affirm what it means to be a participatory citizen and to provide a considerable resource to stretched welfare budgets. This chapter looks at these points with a view to introducing how these challenges shape the chapters that follow.

scholarly journals Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

2016 ◽  
Vol 50 (12) ◽  
pp. 23-34 ◽  
Author(s):  
Andrew Farmer ◽  
Neil Sculthorpe ◽  
Andy Gill
Keyword(s):  
Tool Support ◽  
Equational Reasoning
Sign in / Sign up

Export Citation Format

Share Document