scispace - formally typeset
Journal ArticleDOI

InterviewAn interview with C.A.R. Hoare

Len Shustek, +1 more
- 01 Mar 2009 - 
- Vol. 52, Iss: 3, pp 38-41
TLDR
A.R.C. Hoare, developer of the Quicksort algorithm and a lifelong contributor to the theory and design of programming languages, discusses the practical application of his theoretical ideas.
Abstract: 
C.A.R. Hoare, developer of the Quicksort algorithm and a lifelong contributor to the theory and design of programming languages, discusses the practical application of his theoretical ideas.

read more

Citations
More filters
Journal ArticleDOI

The RFID Technology Adoption in e-Government: Issues and Challenges

Ramaraj Palanisamy, +1 more
TL;DR: This paper examines both e-Government and RFID from an individual perspective and explores the possible issues and challenges associated with RFID technology adoption in e- government.
Posted Content

Data Stream Algorithms for Codeword Testing

Atri Rudra, +1 more
- 26 Apr 2010 - 
TL;DR: In this article, a one-pass, poly-log space data stream algorithm for Reed-Solomon (RS) codes and expander codes was proposed. But the space requirement was not improved by more than logarithmic factors.
Journal ArticleDOI

Complex Ranking Procedures

Barbara Sandrasagra, +1 more
- 01 Jan 2016 - 
TL;DR: A research program for developing a formal framework for ranking procedures based on the Pairwise Comparisons method in the case where relatively few items are to be ranked with a complex procedure and according to a large number of criteria.
Journal ArticleDOI

From mathematical logic to programming-language semantics: a discussion with Tony Hoare

Edgar G. Daylight
- 01 Aug 2015 - 
TL;DR: The discussion’s transcript is compared to previously published interviews with Hoare rather technical in that many questions are directly related to mathematical logic and computability theory in particular.
Journal ArticleDOI

PfTouch: Concurrent page-fault handling for Intel restricted transactional memory

Ruben Titos-Gil, +3 more
- 01 Nov 2020 - 
TL;DR: PfTouch is proposed, a simple extension to RTM that allows page-fault handling to be moved out of non-speculative transactional execution in mutual exclusion, and achieves average reductions in execution time for the STAMP benchmarks.