scientific article
From MaRDI portal
Publication:3996398
zbMath0701.68014MaRDI QIDQ3996398
Dennis M. Ritchie, Brian Kernighan
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items (44)
An exercise in the automatic verification of asynchronous designs ⋮ Towards Efficient Normalizers of Primitive Groups ⋮ Numerical simulations of a reduced model for blood coagulation ⋮ Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Regular numeral systems for data structures ⋮ The programming language C and the operating system UNIX ⋮ Unnamed Item ⋮ Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ A fast computer algorithm for finding the permanent of adjacency matrices ⋮ Static typing for a substructural lambda calculus ⋮ An experimental ambiguity detection tool ⋮ An application of ESL to a stochastic dynamic market model with free entry and exit ⋮ Simple and safe SQL queries with \texttt{C++} templates ⋮ Gaussian skewness approximation for dynamic rate multi-server queues with abandonment ⋮ Solving mixed integer programming production planning problems with setups by shadow price information. ⋮ Serial and parallel simulated annealing and tabu search algorithms for the traveling salesman problem ⋮ Collaborative software infrastructure for adaptive multiple model simulation ⋮ New Invariants for Integral Lattices ⋮ GaussFit?A system for least squares and robust estimation ⋮ BRNGLR: a cubic Tomita-style GLR parsing algorithm ⋮ A C-version of minimal Boolean sum-of-product forms ⋮ Faster suffix sorting ⋮ The Blockhandler and the bitfield package ⋮ On special submanifolds of the Page space ⋮ Dynamic relative compression, dynamic partial sums, and substring concatenation ⋮ CScout: a refactoring browser for C ⋮ Computing the topology of a bounded non algebraic curve in the plane ⋮ Probit models for capture-recapture data subject to imperfect detection, individual heterogeneity and misidentification ⋮ LR error repair using the A* algorithm ⋮ Generalized dominators for structured programs ⋮ Volume Computation for Boolean Combination of Linear Arithmetic Constraints ⋮ Integrating coercion with subtyping and multiple dispatch ⋮ Seasonality in epidemic models: a literature review ⋮ A Formalization of the C99 Standard in HOL, Isabelle and Coq ⋮ Generalized strain space formulations and eigenprojection tensors ⋮ Two-dimensional body of maximum mean resistance ⋮ CHR for Imperative Host Languages ⋮ Brand positioning under lexicographic choice rules ⋮ On the computation of semiparametric estimates in limited dependent variable models ⋮ Multi-level, single-machine lot sizing and scheduling (with initial inventory) ⋮ The decomposition numbers of the Hecke algebra of type \(F_ 4\) ⋮ Performance evaluations of recursive and iterative algorithms for the Towers of Hanoi Problem ⋮ Parallel distributed kernel estimation ⋮ $\mathcal{H}$-Matrix Based Second Moment Analysis for Rough Random Fields and Finite Element Discretizations
Uses Software
This page was built for publication:
