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