Textbook errors in binary searching

This paper discusses the specification and implementation of binary searching. It begins by presenting a “standard” set of declarations, a specification, and a binary searching procedure written in Pascal. This procedure does not meet the specification: it contains five errors that also occur in man...

Full description

Saved in:
Bibliographic Details
Published in:SIGCSE bulletin 1988-02, Vol.20 (1), p.190-194
Main Author: Pattis, Richard E.
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c179t-a56b95d26847a74a58201685ad389b713c74f36cd6fe362c593ed5381731ccc33
cites
container_end_page 194
container_issue 1
container_start_page 190
container_title SIGCSE bulletin
container_volume 20
creator Pattis, Richard E.
description This paper discusses the specification and implementation of binary searching. It begins by presenting a “standard” set of declarations, a specification, and a binary searching procedure written in Pascal. This procedure does not meet the specification: it contains five errors that also occur in many CS-1 and CS-2 textbooks. We will locate and study these errors, and show alternative procedures that correct them in a simple and understandable way.
doi_str_mv 10.1145/52965.53012
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29517846</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>29517846</sourcerecordid><originalsourceid>FETCH-LOGICAL-c179t-a56b95d26847a74a58201685ad389b713c74f36cd6fe362c593ed5381731ccc33</originalsourceid><addsrcrecordid>eNotj81KAzEURrNQsFZXvsCA4Eam5ubm5mcpRatQcFPXIZPJ6Gg7qckU9O2tratvc_g4h7Er4DMASXckrKIZIQdxwiacW10bCeaMnZfywbnQSskJu17F77FJ6bOKOadcqn6omn7w-acq0efw3g9vF-y08-sSL_93yl4fH1bzp3r5snie3y_rANqOtSfVWGqFMlJ7LT0ZwUEZ8i0a22jAoGWHKrSqi6hEIIuxJTSgEUIIiFN2c_zd5vS1i2V0m76EuF77IaZdccISaCPVHrw9giGnUnLs3Db3m72zA-7-4t0h3h3i8RfndUv8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>29517846</pqid></control><display><type>article</type><title>Textbook errors in binary searching</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Pattis, Richard E.</creator><creatorcontrib>Pattis, Richard E.</creatorcontrib><description>This paper discusses the specification and implementation of binary searching. It begins by presenting a “standard” set of declarations, a specification, and a binary searching procedure written in Pascal. This procedure does not meet the specification: it contains five errors that also occur in many CS-1 and CS-2 textbooks. We will locate and study these errors, and show alternative procedures that correct them in a simple and understandable way.</description><identifier>ISSN: 0097-8418</identifier><identifier>DOI: 10.1145/52965.53012</identifier><language>eng</language><ispartof>SIGCSE bulletin, 1988-02, Vol.20 (1), p.190-194</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c179t-a56b95d26847a74a58201685ad389b713c74f36cd6fe362c593ed5381731ccc33</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><creatorcontrib>Pattis, Richard E.</creatorcontrib><title>Textbook errors in binary searching</title><title>SIGCSE bulletin</title><description>This paper discusses the specification and implementation of binary searching. It begins by presenting a “standard” set of declarations, a specification, and a binary searching procedure written in Pascal. This procedure does not meet the specification: it contains five errors that also occur in many CS-1 and CS-2 textbooks. We will locate and study these errors, and show alternative procedures that correct them in a simple and understandable way.</description><issn>0097-8418</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1988</creationdate><recordtype>article</recordtype><recordid>eNotj81KAzEURrNQsFZXvsCA4Eam5ubm5mcpRatQcFPXIZPJ6Gg7qckU9O2tratvc_g4h7Er4DMASXckrKIZIQdxwiacW10bCeaMnZfywbnQSskJu17F77FJ6bOKOadcqn6omn7w-acq0efw3g9vF-y08-sSL_93yl4fH1bzp3r5snie3y_rANqOtSfVWGqFMlJ7LT0ZwUEZ8i0a22jAoGWHKrSqi6hEIIuxJTSgEUIIiFN2c_zd5vS1i2V0m76EuF77IaZdccISaCPVHrw9giGnUnLs3Db3m72zA-7-4t0h3h3i8RfndUv8</recordid><startdate>198802</startdate><enddate>198802</enddate><creator>Pattis, Richard E.</creator><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>198802</creationdate><title>Textbook errors in binary searching</title><author>Pattis, Richard E.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c179t-a56b95d26847a74a58201685ad389b713c74f36cd6fe362c593ed5381731ccc33</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1988</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Pattis, Richard E.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>SIGCSE bulletin</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Pattis, Richard E.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Textbook errors in binary searching</atitle><jtitle>SIGCSE bulletin</jtitle><date>1988-02</date><risdate>1988</risdate><volume>20</volume><issue>1</issue><spage>190</spage><epage>194</epage><pages>190-194</pages><issn>0097-8418</issn><abstract>This paper discusses the specification and implementation of binary searching. It begins by presenting a “standard” set of declarations, a specification, and a binary searching procedure written in Pascal. This procedure does not meet the specification: it contains five errors that also occur in many CS-1 and CS-2 textbooks. We will locate and study these errors, and show alternative procedures that correct them in a simple and understandable way.</abstract><doi>10.1145/52965.53012</doi><tpages>5</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0097-8418
ispartof SIGCSE bulletin, 1988-02, Vol.20 (1), p.190-194
issn 0097-8418
language eng
recordid cdi_proquest_miscellaneous_29517846
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
title Textbook errors in binary searching
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T07%3A29%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Textbook%20errors%20in%20binary%20searching&rft.jtitle=SIGCSE%20bulletin&rft.au=Pattis,%20Richard%20E.&rft.date=1988-02&rft.volume=20&rft.issue=1&rft.spage=190&rft.epage=194&rft.pages=190-194&rft.issn=0097-8418&rft_id=info:doi/10.1145/52965.53012&rft_dat=%3Cproquest_cross%3E29517846%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c179t-a56b95d26847a74a58201685ad389b713c74f36cd6fe362c593ed5381731ccc33%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=29517846&rft_id=info:pmid/&rfr_iscdi=true