The DOI matches its Crossref record; 5 of the 5 references it cites were found in a registry or an index.
The UNIX time-sharing system
Open accessAbstract
UNIX is a general-purpose, multi-user, interactive operating system for the Digital Equipment Corporation PDP-11/40 and 11/45 computers. It offers a number of features seldom found even in larger operating systems, including: (1) a hierarchical file system incorporating demountable volumes; (2) compatible file, device, and inter-process I/O; (3) the ability to initiate asynchronous processes; (4) system command language selectable on a per-user basis; and (5) over 100 subsystems including a dozen languages. This paper discusses the nature and implementation of the file system and of the user command interface.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The cited source says what the claim attributes to it.
In the citing paper
“Process management concepts including zombie reaping [7], resource monitoring through PSI [21], and checkpoint/restore mechanisms like CRIU [18] provide practical techniques we adapt for agent lifecycle management.”
From AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems (2026) · cites this paper as [7]
The cited source says what the claim attributes to it.
In the citing paper
“The solution to these challenges in computing has been to create clear notions of privilege, e.g., operating systems use a hierarchy of access and control (Corbat ó & Vyssotsky, 1965;Ritchie & Thompson, 1974) and attacks such as SQL injections (Su & Wassermann, 2006) and command injections (Zhong et al., 2024) are solved by not treating user inputs as privileged instructions (Thomas et al., 2009).”
From The Instruction Hierarchy: Training LLMs to Prioritize Privileged Instructions (2024) · cites this paper as Ritchie & Thompson, 1974
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
TENEX, a paged time sharing system for the PDP - 10
Bobrow, D. G., Burchfiel, J. D., Murphy, D. L., & Tomlinson, R. S. (1972) · Communications of the ACM · doi:10.1145/361268.361271 · Cited by 160
The Multics Input/Output system
Feiertag, R. J., & Organick, E. I. (1971) · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · doi:10.1145/800212.806497 · Cited by 58
Deutsch, L., & Lampson, B. (1967) · Communications of the ACM · doi:10.1145/363848.363863 · Cited by 45
Programming languages for non-numeric processing---1
McClure, R. M. (1965) · ACM National Meeting · doi:10.1145/800197.806050 · Cited by 17
BCPL: a tool for compiler writing and system programming
Richards, M. (1969) · Proceedings of the May 14-16, 1969, spring joint computer conference on XX - AFIPS '69 (Spring) · doi:10.1145/1476793.1476880
Flagged first, then by citations
Research works printed but not linked: 2
- Richards M. BCPL, Proc. AFIPS 1969 SJCC, 34, 557
- Aleph, 1971, Practice and Experience, 1, 2
Cited by
Sorted by citations
Items 201–300 of 825
Anecdotes: Notes on the History of Fork and Join
Nyman, L., & Laakso, M. (2016) · IEEE Annals of the History of Computing · doi:10.1109/mahc.2016.34 · Cited by 26
Diffusion limits of limited processor sharing queues
Zhang, J., Dai, J. G., & Zwart, A. P. (2011) · The Annals of Applied Probability · doi:10.1214/10-aap709 · Cited by 25
Hardware Mediators: A Portability Artifact for Component-Based Systems
Polpeta, F. V., & Fröhlich, A. A. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30121-9_26 · Cited by 25
Chesson, G. L. (1975) · ACM SIGOPS Operating Systems Review · doi:10.1145/1067629.806522 · Cited by 25
Reflections on software research
Ritchie, D. M. (1984) · Communications of the ACM · doi:10.1145/358198.358207 · Cited by 25
Self-citationImproving the granularity of access control for Windows 2000
Swift, M. M., Hopkins, A., Brundrett, P., Dyke, C. V., Garg, P., Chan, S., Goertzel, M., & Jensenworth, G. (2002) · ACM Transactions on Information and System Security · doi:10.1145/581271.581273 · Cited by 25
Report on UNIX|STAT release 5.1: Data analysis programs for UNIX and MSDOS
Perlman, G., & Horan, F. L. (1986) · Behavior Research Methods, Instruments, & Computers · doi:10.3758/bf03201019 · Cited by 25
The evolution of a Source Code Control System
Glasser, A. L. (1978) · ACM SIGMETRICS Performance Evaluation Review · doi:10.1145/1007775.811111 · Cited by 25
Toward a persistent object base
Nestor, J. R. (1986) · Lecture notes in computer science · doi:10.1007/3-540-17189-4_108 · Cited by 25
Portable Common Tool Environment
Campbell, I. (1988) · Computer Standards & Interfaces · doi:10.1016/0920-5489(88)90079-7 · Cited by 25
Beck, M. (2019) · Communications of the ACM · doi:10.1145/3274770 · Cited by 24
Understanding naming in distributed systems
Comer, D. E., & Peterson, L. (1989) · Distributed Computing · doi:10.1007/bf01558663 · Cited by 24
The line drawing editor:Schematic diagram editing using pattern recognition technique
Jarvis, J. (1977) · Computer Graphics and Image Processing · doi:10.1016/s0146-664x(77)80022-1 · Cited by 24
Towards an efficient, machine-independent language for microprogramming
Patterson, D. A., Lew, K. A., & Tuck, R. (1979) · ACM SIGMICRO newsletter/SIGMICRO newsletter/SIGMICRO, TCMICRO newsletter · doi:10.1145/1014188.803008 · Cited by 24
Architecture of a distributed analysis network for computational mechanics
Felippa, C. A. (1981) · Computers & Structures · doi:10.1016/0045-7949(81)90148-6 · Cited by 24
Gent, I. P., Johnston, B., & Prosser, P. (1999) · Teaching in Higher Education · doi:10.1080/1356251990040407 · Cited by 23
Popek, G. J., & Kline, C. S. (1978) · Lecture notes in computer science · doi:10.1007/3-540-08755-9_5 · Cited by 23
Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface
Bilas, A., & Felten, E. W. (1997) · Journal of Parallel and Distributed Computing · doi:10.1006/jpdc.1996.1272 · Cited by 23
Performance enhancements to a relational database system
Stonebraker, M. R., Woodfill, J., Ranstrom, J., Murphy, M. C., Meyer, M., & Allman, E. (1983) · ACM Transactions on Database Systems · doi:10.1145/319983.319984 · Cited by 23
Interactive computer graphics with the UNIX time-sharing system
Ferrin, T. E., & Langridge, R. (1980) · ACM SIGGRAPH Computer Graphics · doi:10.1145/988500.988508 · Cited by 23
Integrating Knowledge Sources for Computer "Understanding" Tasks
Cullingford, R. E. (1981) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/tsmc.1981.4308578 · Cited by 23
Improving the performance of log-structured file systems with adaptive methods
Matthews, J. N., Roselli, D. S., Costello, A. M., Wang, R. Y., & Anderson, T. E. (1997) · ACM SIGOPS Operating Systems Review · doi:10.1145/269005.266700 · Cited by 22
Access Control in Parallel Programs
McGraw, J. R., & Andrews, G. R. (1979) · IEEE Transactions on Software Engineering · doi:10.1109/tse.1979.234148 · Cited by 22
Keedy, J. L., & Vosseberg, K. (1992) · Hawaii International Conference on System Sciences (HICSS) · doi:10.1109/hicss.1992.183229 · Cited by 22
A generalized user interface for applications programs
Bass, L. J., & Bunker, R. E. (1981) · Communications of the ACM · doi:10.1145/358800.358802 · Cited by 22
A computer-based data analysis system for enzyme-linked immunosorbent assays
Slezak, T. R., Vanderlaan, M., & Jensen, R. H. (1983) · Journal of Immunological Methods · doi:10.1016/0022-1759(83)90306-x · Cited by 22
Magnetic Tape Storage Technology
Lantz, M. A., Furrer, S., Petermann, M., Rothuizen, H. E., Brach, S., Kronig, L., Iliadis, I., Weiss, B., Childers, E. R., & Pease, D. (2024) · ACM Transactions on Storage · doi:10.1145/3708997 · Cited by 21
Skiadopoulos, A., Li, Q., Kraft, P., Kaffes, K., Hong, D., Mathew, S., Bestor, D., Cafarella, M., Gadepally, V. N., Graefe, G., et al. (2021) · Proceedings of the VLDB Endowment · doi:10.14778/3485450.3485454 · Cited by 21
Evolutionary software engineering: a component-based approach
Klint, P., & Verhoef, C. (1998) · IFIP advances in information and communication technology · doi:10.1007/978-0-387-35350-0_1 · Cited by 21
Input/output optimization and disk architectures: A survey
Smith, A. J. (1981) · Performance Evaluation · doi:10.1016/0166-5316(81)90013-4 · Cited by 21
A Syntactic Theory of Message Passing
Ward, S. A., & Halstead, R. H. (1980) · Journal of the ACM · doi:10.1145/322186.322199 · Cited by 21
Early experience with POSIX 1003.4 and POSIX 1003.4 A
Gallmeister, B. O., & Lanier, C. (2002) · IEEE Real-Time Systems Symposium (RTSS) · doi:10.1109/real.1991.160373 · Cited by 21
The PDP-11 virtual machine architecture
Popek, G. J., & Kline, C. S. (1975) · ACM SIGOPS Operating Systems Review · doi:10.1145/1067629.806527 · Cited by 21
“Deeply Political and Social Issues”: Debates within ACM 1965–1985
Misa, T. J. (2016) · doi:10.1145/2973856.2973863 · Cited by 20
Computer architecture and low level control of the PUMA/RAL hand system: Work in progress
Kim, J., Blythe, D., Penny, D., & Goldenberg, A. A. (2005) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1987.1087797 · Cited by 20
Optimization of I/O systems by cache disks and file migration: A summary
Smith, A. J. (1981) · Performance Evaluation · doi:10.1016/0166-5316(81)90004-3 · Cited by 20
The Galaxy distributed operating system
Sinha, P. K., Maekawa, M., Shimizu, K., Jia, X., Ashihara, H., Utsunomiya, N., Park, K. S., & Nakano, H. (1991) · Computer · doi:10.1109/2.84875 · Cited by 20
Framing Computer Security and Privacy, 1967–1992
Misa, T. J. (2016) · doi:10.1145/2973856.2973869 · Cited by 19
Parallel quantum trajectories via forking for sampling without redundancy
Park, D. K., Sinayskiy, I., Fingerhuth, M., Petruccione, F., & Rhee, J.-K. K. (2019) · New Journal of Physics · doi:10.1088/1367-2630/ab35fb · Cited by 21
Pilot: An Operating System for a Personal Computer
Redell, D. D., Dalal, Y. K., Horsley, T. R., Lauer, H. C., Lynch, W. C., McJones, P. R., Murray, H. G., & Purcell, S. C. (2001) · Springer eBooks · doi:10.1007/978-1-4757-3510-9_20 · Cited by 19
UNIX Time-Sharing System: UNIX on a Microprocessor
Lycklama, H. (1978) · Bell System Technical Journal · doi:10.1002/j.1538-7305.1978.tb02143.x · Cited by 19
Russo, V., Johnston, G., & Campbell, R. H. (1988) · Conference on Object-Oriented Programming Systems, Languages, and Applications · doi:10.1145/62083.62105 · Cited by 19
Misa, T. J. (2016) · doi:10.1145/2973856.2973866 · Cited by 18
Sealing OS processes to improve dependability and safety
Hunt, G. C., Aiken, M., Fähndrich, M. A., Hawblitzel, C., Hodson, O., Larus, J. R., Levi, S., Steensgaard, B., Tarditi, D., & Wobber, T. (2007) · ACM SIGOPS Operating Systems Review · doi:10.1145/1272998.1273032 · Cited by 18
Brown, Denning, & Tichý (1984) · Computer · doi:10.1109/mc.1984.1658969 · Cited by 18
The NTree: a two dimension partial order for protection groups
Sandhu, R. S. (1988) · ACM Transactions on Computer Systems · doi:10.1145/42186.42187 · Cited by 18
The Clipper processor: instruction set architecture and implementation
Hollingsworth, W., Sachs, H., & Smith, A. J. (1989) · Communications of the ACM · doi:10.1145/63342.63346 · Cited by 18
Needham, R. M., & Birrell, A. D. (1977) · ACM SIGOPS Operating Systems Review · doi:10.1145/1067625.806542 · Cited by 18
A conversational graphic program for the analysis of the sigmoid curve
Goméni, R., & Gomeni, C. (1980) · Computers and Biomedical Research · doi:10.1016/0010-4809(80)90045-2 · Cited by 18
The Architecture and Applications of the Apollo Domain
Nelson, D., & Leach, P. J. (1984) · IEEE Computer Graphics and Applications · doi:10.1109/mcg.1984.276148 · Cited by 18
Effects of Copy-on-Write Memory Management on the Response Time of UNIX Fork Operations.
Smith, J. M., & Maguire, G. Q. (1988) · Cited by 17
Miller, R. L. (1978) · ACM SIGOPS Operating Systems Review · doi:10.1145/775396.775400 · Cited by 17
An Introduction to the N. mPc Design Environment
Parke, F. I. (1979) · ACM/IEEE Design Automation Conference (DAC) · doi:10.1109/dac.1979.1600159 · Cited by 17
Uniformity in user-computer interaction languages: a compromise solution
Treu, S. (1982) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(82)80056-4 · Cited by 17
The architecture of the PLAIN data base handler
Kersten, M. L., Wasserman, A. I., & Wasserman, A. I. (1981) · Software Practice and Experience · doi:10.1002/spe.4380110208 · Cited by 17
Variations on UNIX for parallel-processing computers
Russell, C. H., & Waterman, P. J. (1987) · Communications of the ACM · doi:10.1145/33447.33450 · Cited by 17
A network multi‐processor for experiments in parallelism
Marsland, T. A., Breitkreutz, T., & Sutphen, S. F. (1991) · Concurrency Practice and Experience · doi:10.1002/cpe.4330030306 · Cited by 17
Tabletop File System Access: Associative and Hierarchical Approaches
Collins, A., Apted, T., & Kay, J. (2007) · IEEE International Workshop on Horizontal Interactive Human-Computer Systems · doi:10.1109/tabletop.2007.22 · Cited by 16
Future Computers: Logic, Data Flow, ..., Control Flow?
Treleaven, & Lima (1984) · Computer · doi:10.1109/mc.1984.1659081 · Cited by 16
[13] Pattern-based approaches to protein structure prediction
Cohen, B. I., Presnell, S., & Cohen, F. E. (1991) · Methods in enzymology on CD-ROM/Methods in enzymology · doi:10.1016/0076-6879(91)02015-2 · Cited by 16
The EEG Analysis System of the National Cooperative Dialysis Study
Bourne, J. R., Hamel, B., Giese, D. A., Woyce, G. M., Lawrence, P. L., Ward, J. W., & Teschan, P. E. (1980) · IEEE Transactions on Biomedical Engineering · doi:10.1109/tbme.1980.326676 · Cited by 16
On the classification of binding mechanisms
Morrison, R., Atkinson, M., Brown, A. L., & Dearle, A. (1990) · Information Processing Letters · doi:10.1016/0020-0190(90)90230-u · Cited by 16
RST cache memory design for a highly coupled multiprocessor system
Prete, C. A. (1991) · IEEE Micro · doi:10.1109/40.76618 · Cited by 16
The Evolution of Operating Systems
Hansen, P. B. (2001) · Springer eBooks · doi:10.1007/978-1-4757-3510-9_1 · Cited by 15
DIRECTING THE USER INTERFACE: HOW PEOPLE USE COMMAND-BASED COMPUTER SYSTEMS
Greenberg, S., & Witten, I. H. (1988) · Elsevier eBooks · doi:10.1016/b978-0-08-036226-7.50063-6 · Cited by 15
A brief top-down and bottom-up philosophy on software evolution
Pizka, M., & Bauer, A. H. (2004) · International Workshop on Principles of Software Evolution · doi:10.1109/iwpse.2004.1334777 · Cited by 15
Process Communication Based on Input Specifications
van den Bos, J., Plasmeijer, R., & Stroet, J. (1981) · ACM Transactions on Programming Languages and Systems · doi:10.1145/357139.357141 · Cited by 15
The Instruction Hierarchy: Training LLMs to Prioritize Privileged Instructions
Wallace, E., Xiao, K., Leike, R., Weng, L., Heidecke, J., & Beutel, A. (2024) · arXiv · doi:10.48550/arxiv.2404.13208 · Cited by 14
“…computing has been to create clear notions of privilege, e.g., operating systems use a hierarchy of access and control (Corbat´o & Vyssotsky, 1965; Ritchie & Thompson, 1974) and attacks such as SQL injections (Su & Wassermann, 2006) and command injections (Zhong et al., 2024) are solved by not…”
BackgroundThe Case for Writing Network Drivers in High-Level Programming Languages
Emmerich, P., Ellmann, S., Bonk, F., Egger, A., Sánchez-Torija, E. G., Günzel, T., Luzio, S. D., Obada, A., Stadlmeier, M., Voit, S., et al. (2019) · ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS) · doi:10.1109/ancs.2019.8901892 · Cited by 14
Diva: Making MVCC Systems HTAP-Friendly
Kim, J., Yu, J., Ahn, J., Kang, S., & Jung, H. (2022) · ACM SIGMOD International Conference on Management of Data (SIGMOD) · doi:10.1145/3514221.3526135 · Cited by 14
The Oregon Report Personal Computing
Isaacson, P., Osborne, A., Gammill, R. C., Tesler, L., Heiser, R. S., & Warren, J. C. (1978) · Computer · doi:10.1109/c-m.1978.218349 · Cited by 14
A CASE primer for computer science educators
Mynatt, B. T., & Leventhal, L. M. (1989) · ACM Technical Symposium on Computer Science Education (SIGCSE) · doi:10.1145/65293.71200 · Cited by 14
Hierarchical file organization and its application to similar-string matching
Ito, T., & Kizawa, M. (1983) · ACM Transactions on Database Systems · doi:10.1145/319989.319994 · Cited by 14
Pascal-FC: a language for teaching concurrent programming
Burns, A., & Davies, G. L. (1988) · ACM SIGPLAN Notices · doi:10.1145/44304.44309 · Cited by 14
Pallel parsing of tree languages for syntactic pattern recognition
Chang, N.-S., & Fu, K. (1979) · Pattern Recognition · doi:10.1016/0031-3203(79)90008-6 · Cited by 14
Udupa, J. K., Hung, H.-M., Odhner, D., & Gonçalves, R. J. (1992) · Journal of Imaging Informatics in Medicine · doi:10.1007/bf03167821 · Cited by 14
Scheduling Techniques for Operating Systems
Bunt, R. B. (1976) · Computer · doi:10.1109/c-m.1976.218406 · Cited by 13
The magic number eighteen plus or minus three
Riddle, W. E. (1984) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/1010925.1010927 · Cited by 13
Ordy, G. M., & Rose, C. W. (1983) · ACM/IEEE Design Automation Conference (DAC) · doi:10.1109/dac.1983.1585702 · Cited by 13
Aspects of Statistical Computing: What Packages for the 1980's Ought to Do
Muller, M. E. (1980) · The American Statistician · doi:10.1080/00031305.1980.10483024 · Cited by 13
Ellis, J. R. (1980) · ACM SIGPLAN Notices · doi:10.1145/947639.947642 · Cited by 13
Programming with streams in a Pascal-like language
Nakata, I., & Sassa, M. (1991) · IEEE Transactions on Software Engineering · doi:10.1109/32.67573 · Cited by 13
An empirical investigation of command-line customization
Schröder, M., & Cito, J. (2021) · Empirical Software Engineering · doi:10.1007/s10664-021-10036-y · Cited by 12
Efficient and Secure Search of Enterprise File Systems
Singh, A., Srivatsa, M., & Liu, L. (2007) · IEEE International Conference on Web Services (ICWS) · doi:10.1109/icws.2007.80 · Cited by 12
Programming in the home of the future
Anderson, B. (1980) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(80)80020-4 · Cited by 12
Operating Systems Principles for Data Flow Networks
Denning, P. J. (1978) · Computer · doi:10.1109/c-m.1978.218271 · Cited by 12
Fragtypes: a basis for programming environments
Madhavji, N. H. (1988) · IEEE Transactions on Software Engineering · doi:10.1109/32.4625 · Cited by 12
The emerging paradigm shift in storage system architectures
Coleman, S. S., & Watson, R. (1993) · Proceedings of the IEEE · doi:10.1109/5.219345 · Cited by 12
Baldwin, C. Y. (2015) · Elsevier eBooks · doi:10.1016/b978-0-08-097086-8.73062-5 · Cited by 12
Distributed application configuration, management, and visualization with plush
Albrecht, J. R., Tuttle, C., Braud, R., Dao, D., Topilski, N., Snoeren, A. C., & Vahdat, A. M. (2011) · ACM Transactions on Internet Technology · doi:10.1145/2049656.2049658 · Cited by 11
Mathematical Modeling in Heavy Traffic Queuing Systems
Sani, S., & Daman, O. A. (2014) · American Journal of Operations Research · doi:10.4236/ajor.2014.46033 · Cited by 11
A compact, portable CRT‐based text editor
Fraser, C. W. (1979) · Software Practice and Experience · doi:10.1002/spe.4380090206 · Cited by 11
Computer typesetting of technical journals on UNIX
Lesk, M., & Kernighan, B. W. (1977) · AFIPS National Computer Conference (NCC) · doi:10.1145/1499402.1499562 · Cited by 11
The Apollo DOMAIN Distributed File System
Levine, P. H. (1987) · Springer eBooks · doi:10.1007/978-3-642-46604-5_9 · Cited by 11
Perlin, M. W. (2002) · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · doi:10.1109/tai.1990.130367 · Cited by 11
Communicating parallel processes
Kerridge, J., & Simpson, D. (1986) · Software Practice and Experience · doi:10.1002/spe.4380160106 · Cited by 11
Type syntax in the language "C"
Anderson, B. (1980) · ACM SIGPLAN Notices · doi:10.1145/947626.947627 · Cited by 11
Efficient massively parallel implementation of some combinatorial algorithms
Hsu, T., & Ramachandran, V. (1996) · Theoretical Computer Science · doi:10.1016/0304-3975(96)00034-5 · Cited by 11
Bindings persistent programming languages
Morrison, R., Atkinson, M., Brown, A. L., & Dearle, A. (1988) · ACM SIGPLAN Notices · doi:10.1145/44326.44328 · Cited by 11
A micro‐kernel for concurrency in C
Cormack, G. V. (1988) · Software Practice and Experience · doi:10.1002/spe.4380180508 · Cited by 11
Metadata
- Authors
- Ritchie, D. M., & Thompson, K.
- Affiliations
- AT&T (United States) (US)
- Venue
- Communications of the ACM
- Published
- 1974-07
- Volume
- 17
- Issue
- 7
- Pages
- 365-375
- ISSN
- 0001-0782 (ISSN-L)
- 1557-7317
- OpenAlex
- W2418656106
- Cited by
- 826
- References
- 4
- Citations by year
- 2026: 46 · 2025: 13 · 2024: 11 · 2023: 9 · 2022: 7 · 2021: 11 · 2020: 3 · 2019: 13 · 2018: 5 · 2017: 3 · 2016: 27 · 2015: 8 · 2014: 13 · 2013: 8 · 2012: 7
- FWCI
- 106.16
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Locations
- Communications of the ACM (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computer Science Applications › History of Computing Technologies
- Physical Sciences › Computer Science › Computer Networks and Communications › Advanced Data Storage Technologies
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Keywords
- UNIX, time-sharing, operating systems, PDP-11, hierarchical file systems, file I/O, asynchronous processes, command language, Digital Equipment Corporation
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review