Lines Matching full:programming
67 %%% Transactions on Programming Languages and
497 …The determination of the minimal polygon can be reduced to a nonlinear programming problem, solved…
501 …keywords = "connection tree; digitized image; minimal polygon; nonlinear programming; optimal …
754 … class of grammars, which seems to include most practical context-free programming language gramma…
777 keywords = "data handling; programming",
951 …agnostics; error correction; error detection; lexical analysis systems programming; misspelling; o…
957 title = "A Program to Teach Programming",
968 … to ease the cost and improve the results of elementary instruction in programming. To the student…
973 …uter-assisted learning; computers, programming; education; elementary programming; engineering edu…
994 …ence; automata theory; computers; game theory; heuristic programming; optimisation; programming; t…
1039 …keywords = "linear programming; mathematics; minimax approximation; nonlinear approximation; n…
1218 …title = "Creation and Control of Internal Data Bases Under a {Fortran} Programming Environm…
1255 …keywords = "computers; computers, programming; documentation; procedure oriented languages; Pr…
1271 …ctures suitable for a high level algorithmic language for mathematical programming. It is shown ho…
1277 … languages; computers; computers, programming; data structures; mathematical; mathematics; matrix …
1475 keywords = "ALGOL; programming",
1495 title = "Programming System for the On-Line Analysis of Biomedical Images",
1506 …d to the karyotyping of chromosomes. The system is separated into four programming tasks-picture t…
1511 …keywords = "bioengineering, computer applications; biology; computers; computers, programming;…
1532 … data structures; E P; matrix operations; multidimensional arrays; program compilers; programming",
1606 …programming language, any value which is permitted in some context of the language is permissible …
1612 …keywords = "computers; data structures; gedanken; procedure oriented languages; programming la…
1706 …ms are inadequate in regard to ambiguity detection. Two algorithms for programming decision tables…
1711 keywords = "computers; decision tables; operations research; programming",
1732 keywords = "co; computers; graph theory; programming; undirected linear graphs",
1996 title = "The mobile programming system: {STAGE} 2",
2009 classcodes = "C6140E (Other programming languages)",
2012 keywords = "bootstrapping; computers; macro processors; programming languages; system",
2197 title = "A Comment on Axiomatic Approaches to Programming",
2210 …ethod; computability and decidability; homomorphic structure in programming; programming; proofs o…
2273 …keywords = "CACMA; computers; computers, data storage; hash coding; programming; table look-up…
2294 …keywords = "CACMA; computer, memories; computers; computers, programming; dynamic memory manag…
2480 …puter-aided circuit design; computers; computers, graphics; computers, programming; electric circu…
2619 keywords = "CACMA; computers; programming; SAL; sorting",
2743 …abstract = "A formalism is presented for describing the actions of processors for programming …
2748 …pre; program; program assemblers; program interpreters; program processors; programming languages",
2791 title = "{ACM} Algorithm 397: An Integer Programming Problem",
2804 keywords = "integer programming; subroutines",
2896 title = "An interactive display for approximation by linear programming",
2908 …e user. The coefficients of the approximation are determined by linear programming so as to minimi…
2912 …ation; functional approximation; interactive graphical display; linear programming; online operati…
3091 classcodes = "C6110 (Systems analysis and programming)",
3262 …keywords = "construct; file; list processing; processing; programming; programming techniques;…
3360 …it strings; cross-; data handling; dummy variables; efficiency; programming; programming technique…
3536 … treated as a separate exercise. Some, conclusions relating to general programming methodology are…
3541 …computers, digital, programming; documentation; FIND; ITI; languages; logical errors intrusion; pr…
3547 …title = "Further evidence for the analysis of algorithms for the zero-one programming probl…
3558 …ummarized R. L. Gue et al, with two algorithms for the zero-one linear programming problem. An err…
3563 …rithm theory; CACMA; computational; ES,; experience; integer programming; linear programming; math…
3565 …xxtitle = "Further Evidence of the Analysis of Algorithms for the Zeroone Programming Problem…
3636 classcodes = "C6110 (Systems analysis and programming)",
3658 … "CACMA; communication channels; computers, digital; information theory; programming; programs",
3674 classcodes = "C6110 (Systems analysis and programming)",
3676 …on tables; flow charting; flowcharting; modifications; Pollack's algorithm; programming; programs",
3740 …ed learning; education; experimental development; heuristic; heuristic programming; heuristic tree…
3784 …and-bound approach; CACMA; CAL; computers, digital, character; dynamic programming; game against n…
3869 …ynthesis; CACMA; computer metatheory; computers, languages; computers, programming; intelligence; …
3993 classcodes = "C6110 (Systems analysis and programming)",
3995 …keywords = "development; education; programming; programming techniques; refinement; stepwise",
4026 title = "Dynamic Microprogramming. Processor Organization and Programming",
4037 …various subroutine characteristics. Three examples of problem-oriented programming are considered …
4042 …croassembly language; microprogramming; microstorage; problem oriented programming; problem-orient…
4061 …ional languages; microfilm recorder; on line system; online operation; programming languages; two",
4123 …ature analysis; generalised data base management systems; information; programming languages; retr…
4165 …es; computer applications; cybernetics; heuristic procedure; heuristic programming; interaction pr…
4185 …words = "curve; description; dynamic programming; edge; global recognition; heuristic; heurist…
4207 …g problem; data handling; integer; integer programming; minimisation; program; program assemblers;…
4224 …programming errors. Fine-grained calender clocks have recently become available; these allow imple…
4249 … functions equivalent and thus applicable in proofs about interpreters for programming languages.",
4254 …tional linguistics; computers, digital, languages; computers, digital, programming; correctness; i…
4404 title = "On the Meaning of Names in Programming Systems",
4418 …mes; operating system; operating systems (computers); programming; programming systems; programmin…
4443 title = "Interrupt driven programming",
4456 …keywords = "associative; control; debugging; interrupt drive programming; memories; microprogr…
4495 …k; course organisation; curriculum; jobs; programmer training project; programming; residents; tra…
5037 …keywords = "data structures; formalism; graph; implementation; programming language; semantic",
5056 …dard; language standard interpretation; language standard maintenance; programming language; speci…
5094 keywords = "computer graphics; display files; display systems; programming languages",
5180 …eywords = "ALGOL; Algol 68; data; design of programming languages; programming languages; prog…
5304 …ing; electron microscopy; image; image processing; linear programming; mathematical programming; m…
5365 …mpression; data handling; hashing; information; information retrieval; programming; searching; sig…
5371 title = "{BLISS}: {A} language for systems programming",
5389 …words = "data structures; implementation language; programming languages; systems programming",
5390 …ystems; program processors; programming languages; software systems; supervisory and executive pro…
5722 title = "Quadratic programming for nonlinear regression",
5735 … "diagonal method; linear constraints; magnified; nonlinear regression; quadratic programming",
5811 …gn; engineering; extension of ALGOL; general space planning; heuristic programming; orthographic d…
5909 …harmony; heuristic; humanities; models of cognitive processes; music theory; program; programming",
6148 keywords = "model; modelling; paging; programming theory; supervisory programs; working set",
6216 …ve terminal; pattern recognition; process control digital; processing; programming support; pseudo…
6239 …keywords = "computer drawn picture; computer graphics; data handling; display programming; dis…
6491 classcodes = "C6110 (Systems analysis and programming)",
6493 keywords = "programming; software design; software module specification; technique",
6774 …keywords = "computation theory; concurrent programming control; cooperating processes; formal …
7000 title = "Remark on algorithm 397 (An integer programming problem)",
7013 keywords = "change making problem; integer programming; subroutines",
7051 …on; computer assisted instructions; education; generative CAI tutor; machine language programming",
7110 title = "Aesthetics and the Human Factor in Programming",
7122 classcodes = "C6110 (Systems analysis and programming)",
7124 keywords = "aesthetics; human factor; human factors; programming",
7190 …ix points; program diagnostics; programming; recursive programs; semantics of computer programs; s…
7219 title = "Management science: a view from nonlinear programming",
7235 …keywords = "integer; management science; mathematical programming; nonlinear programming; revi…
7363 title = "Programming Systems and Languages (1965--1975)",
7373 …d evaluation techniques,and increased use of microprogramming for some programming system function…
7375 classcodes = "C6140 (Programming languages); C6150J (Operating systems)",
7377 …ems; operating systems (computers); problem oriented languages; programming; programming systems; …
7383 title = "Programming Languages: History and Future",
7393 …abstract = "This paper discusses both the history and future of programming languages (= highe…
7395 classcodes = "C6140 (Programming languages)",
7397 …errelationships; languages; programming language future; programming language history; programming…
7414 classcodes = "C6110 (Systems analysis and programming)",
7416 keywords = "computer software; mathematical software; mathematics; production; programming",
7422 title = "Requirements for Advanced Programming Systems for List Processing",
7436 keywords = "advanced programming systems; list processing; requirements",
7598 …title = "The ``Plankalk{\"u}l'' of {Konrad Zuse}: a forerunner of today's programming langu…
7612 classcodes = "C6140 (Programming languages)",
7614 …uages; notational and conceptual system; Plankalkul; programming; programming languages; programmi…
7785 …keywords = "collection; command; computer programming --- Macros; computer systems programming…
7851 classcodes = "C5230 (Digital arithmetic methods); C6110 (Systems analysis and programming)",
7853 …eywords = "compiling multiplications; digital arithmetic; fixed point arithmetic; programming",
7872 … "ALGOL; ALGOL 68; composition of semantics; data; design; programming languages; programming prim…
8061 …title = "{ACM} Algorithm 431: {A} Computer Routine for Quadratic and Linear Programming Pro…
8108 …keywords = "arrays; computation theory; computer programming --- Subroutines; data handling; i…
8188 …keywords = "blind programming aid; braille; computer interfaces; computer peripheral equipment…
8226 …programming job, provided that we approach the task with a full appreciation if its tremendous dif…
8328 …keywords = "automata theory; computer applications; computer programming languages --- lisp; d…
8347 …classcodes = "C6110 (Systems analysis and programming); C6150C (Compilers, interpreters and othe…
8351 …keywords = "computer programming; conversion; decision tables; mask; program generation; progr…
8374 …keywords = "CACM; computer programming --- Subroutines; computer systems programming; natural …
8380 title = "Corrigendum: {``Aesthetics and the Human Factor in Programming''}",
8427 …keywords = "comparative study; computer programming; computer programs; differential; differen…
8451 …keywords = "chopping; computer programming; computer programming languages --- Fortran; digita…
8476 …keywords = "approximation with real zeros; computer programming; function approximation; guara…
8499 …tion; ALGOL; ALGOL 60; application of functions; compilation; computer programming languages; exec…
8505 title = "Derived Semantics for Some Programming Language Constructs",
8516 …abstract = "The constructs of a simple programming language are introduced and described infor…
8518 classcodes = "C4240 (Programming and algorithm theory)",
8522 …s = "computer programming languages; constructs; derived semantics; flowcharts; lambda calculu…
8541 classcodes = "C6110 (Systems analysis and programming)",
8545 …keywords = "algorithm; computer programming --- Subroutines; computer programming languages; c…
8568 …keywords = "computer operating systems --- Storage Allocation; computer programming languages;…
8665 title = "Further comments on {Dijkstra}'s concurrent programming control problem",
8678 …keywords = "critical; Dijkstra's concurrent programming control problem; multiprocessing; mult…
8680 xxtitle = "Further Comments on {Dijkstra}'s Concurrent Programming Control Problems",
8698 …artificial intelligence; computer composition; computer music; heuristic; humanities; programming",
8721 …programming languages; data processing --- Data Structures; data structure; data structures; dynam…
8744 …keywords = "address calculations; algorithm; computer programming languages; data handling; da…
8767 …programming languages; data processing --- Data Structures; editor; general purpose text; incremen…
8790 …keywords = "clustering; computer programming; hash; information retrieval systems; information…
8851 classcodes = "C6110 (Systems analysis and programming)",
8855 … "comprehensibility; computer programming; criteria; decomposition; flexibility; modularization…
8878 …keywords = "assembly language; computer programming; levels of language; machine independent l…
8901 …keywords = "analysis; computer systems programming; CPU scheduling; first come first served; m…
8984 …keywords = "computer systems programming --- Multiprogramming; data storage, digital; dependen…
9004 classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation)",
9008 …keywords = "computer systems programming; data storage, digital; dynamic storage; hash code; r…
9009 …keywords = "deletions; dynamic storage; hash code; programming; reallocation; scatter storage;…
9015 title = "Protection in Programming Languages",
9032 …cess control; access keys; authentication; computer programming languages; environments; programmi…
9058 …keywords = "computer programming; computer programming languages; computers; digital arithmeti…
9075 …abstract = "A method of analyzing statements in a programming language which can tolerate a co…
9077 classcodes = "C4240 (Programming and algorithm theory)",
9081 …mputer metatheory; computer programming languages; linguistic pattern matching; program statements…
9107 …"computer programming; digital arithmetic; error analysis; exponential function; exponentiation; i…
9133 …keywords = "computer programming --- Subroutines; generalized eigenvalues; mathematical techni…
9293 title = "The Use of Grammatical Inference for Designing Programming Languages",
9307 …abstract = "Both in designing a new programming language and in extending an existing language…
9309 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
9313 …programming languages; context; context-free grammars; extensible languages; free grammars; gramma…
9335 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
9339 …programming languages; data processing --- Data Structures; discrete patterns; formal language; fo…
9388 …keywords = "address; address calculation; addressing; calculation; computer programming langua…
9411 …programming languages; computer software; computer systems programming; computer systems programmi…
9428 …operating system, and machine (via microcode) to create an interactive programming laboratory. It …
9433 …programming languages; computer system design; computer systems, digital --- Time Sharing; compute…
9477 … course; computer science course; education; file organization course; programming course; reviews…
9494 …lem is nontrivial when phrases which overlap exist. However, a dynamic programming algorithm is pr…
9500 …operating systems --- Program Compilers; computer programming; diagnostic messages; dynamic progra…
9546 …keywords = "computer communications; computer programming --- Subroutines; computers; digital …
9569 …ssing; computer operating systems; computer programming languages --- Program Debugging; computer …
9708 …chitecture; computer operating systems --- Program Compilers; computer programming languages; comp…
9734 …tric memory hierarchies; asymmetric memory hierarchy; computer systems programming --- Multiprogra…
9760 …keywords = "accuracy; arithmetic; computer programming; digital arithmetic; error analysis; fl…
9896 title = "Programming by Questionnaire: an Effective Way to Use Decision Tables",
9907 …Programming by questionnaire combines aspects of decision table programming and general purpose pr…
9909 classcodes = "C6110 (Systems analysis and programming)",
9913 …program generation; computer systems programming; decision tables; generation; productivity; progr…
9932 classcodes = "C6110 (Systems analysis and programming)",
9936 keywords = "computer programs; computer systems programming; conversion; decision tables",
9989 title = "An array grammar programming system",
10000 … the rule selection procedure in a derivation or parse, using weighted programming matrices; he al…
10006 …aphics; computer programming languages; computer-aided design; Fortran programs; grammars; interac…
10029 …keywords = "computer programming --- Subroutines; computer programming languages; computer pro…
10073 title = "Minit algorithm for linear programming",
10086 keywords = "linear programming; minit algorithm",
10092 title = "Minit algorithm for linear programming",
10105 keywords = "linear programming; mini algorithm",
10260 …keywords = "addressing; computer systems programming; content; content addressing; data entry;…
10284 …keywords = "(computers); allocation; computer systems programming; deadlock; deadly embrace; f…
10438 classcodes = "C6110 (Systems analysis and programming)",
10458 …classcodes = "C5220 (Computer architecture); C6110 (Systems analysis and programming); C6140B (M…
10460 …; machine; machine code; machine oriented languages; microprogramming; programming; software; spac…
10637 …nce; chess program; COKO III; computer systems programming; FORTRAN; games of skill; heuristic pro…
10660 …keywords = "computer operating systems; computer systems programming --- Multiprogramming; dea…
10682 …keywords = "cache; computer systems programming; cost time integral; distribution of a program…
10688 title = "Teaching ``About Programming''",
10699 …programming designed to provide entering students in a graduate program with a cultural enrichment…
10701 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
10705 …keywords = "computer systems programming; education; professionalism; programming; programming…
10764 classcodes = "C6140 (Programming languages)",
10766 …res; exit statement; from loops; goto free programming; multiple exits; multiple exits from loops;…
10791 title = "{ACM} Algorithm 449: Solution of Linear Programming Problems in 0-1 Variables",
10804 keywords = "FORTRAN; linear programming; subroutine; subroutines; zero one programming",
10885 …rogram; learning: heuristic procedures; partnership dominoes; problem; programming; solving; syste…
11167 classcodes = "C4240 (Programming and algorithm theory)",
11171 …n induction; computer metatheory; inductive methods; least fixedpoint; programming theory; propert…
11193 classcodes = "C4240 (Programming and algorithm theory)",
11197 …ory; exit; exit statement; flowchart; go to statement; node splitting; programming theory; repeat …
11271 classcodes = "C4240 (Programming and algorithm theory)",
11275 …programming --- Decision Tables; conversion; decision tables; decision theory and analysis; inform…
11368 …keywords = "automata theory; COBOL; computer programming languages; computer systems programmi…
11388 …king; computer program; debugging; PL/I; program debugging; programming language; programming lang…
11605 classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation)",
11609 …programming; control; coroutines; dendrarchy; dynamic; funarg problem; label-valued variables; mod…
11657 …keywords = "computer systems programming; confinement; leakage of data; operating systems (com…
11699 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
11703 …keywords = "computer operating systems; page residency; program behaviour; programming theory;…
11726 …keywords = "array allocation; array processing; computer programming languages; control struct…
11732 … "{ACM} Algorithm 458: Discrete Linear ${L}_1$ Approximation by Interval Linear Programming",
11745 …FORTRAN; function approximation; interval linear programming; L/sub 1/ approximation; linear progr…
11860 …classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation); C6130 (Data h…
11862 …dling; database; file organisation; network hierarchical data model CACM; programmer; programming",
11908 … algorithm; computer operating systems --- Program Compilers; computer programming languages; data…
11954 …keywords = "computer programming; heuristics; inference rules; paramodulation; partial orderin…
12091 …classcodes = "C4240 (Programming and algorithm theory); C5230 (Digital arithmetic methods); C615…
12131 classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming)",
12133 …n; program flow; programming; programming language design; proof of programs; semantics of program…
12195 …keywords = "biharmonic; biharmonic equation; compared; computer systems programming; decomposi…
12213 …ion and training); C0310 (EDP management); C6110 (Systems analysis and programming); C7100 (Busine…
12311 … input strings; context free grammars; context-free languages; dynamic programming; error analysis…
12457 classcodes = "C6110 (Systems analysis and programming)",
12476 classcodes = "C6110 (Systems analysis and programming)",
12478 … coding systems; combinations; combinatorics; numbering system; programming; programming technique…
12495 classcodes = "C6110 (Systems analysis and programming)",
12497 …keywords = "automated systems design; data; management; processing; programming; report genera…
12520 …ization; heuristic solution; inverted file; mathematical; mathematical programming; multikey retri…
12572 …keywords = "approximate method; approximations; computer programming --- Subroutines; distribu…
12592 …classcodes = "C6110 (Systems analysis and programming); C6150C (Compilers, interpreters and othe…
12596 … parallel; parallel execution; parallel processing; program compilers; programming; vector compute…
12613 …abstract = "Since the development of BNF, the definition of the syntax of programming language…
12619 …programming languages; context sensitive grammars; context sensitive requirements; context-sensiti…
12641 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
12645 …programming; extraction methods; heuristic methods; inductive; inductive assertions; input predica…
12691 …keywords = "central; computer systems programming; dynamic memory repacking; file organisation…
12738 …keywords = "'quicksort'; ACM; algorithms; computer programming; computer testing; general; per…
12806 …generators; cell organized raster display; computer graphics; computer programming --- Subroutines…
12873 …keywords = "computer aided analysis; computer programming; least squares approximations; lsq; …
12965 …oblem; educational administrative data; Gotlieb's method; mathematical programming; multiindex pro…
12988 …keywords = "algorithms; bounded workspace; complexity; computer programming; copying list stru…
13011 keywords = "computer systems programming",
13130 classcodes = "C4240 (Programming and algorithm theory)",
13135 …anism; primitive resolutions; problem; program synthesizing algorithm; programming theory; theorem…
13241 …abstract = "Programming languages tailored to particular groups of users can often be construc…
13243 …classcodes = "C6140 (Programming languages); C6150C (Compilers, interpreters and other processor…
13247 …mputer programming languages; design of programming languages; general purpose language; language …
13264 …abstract = "In constructing a general purpose programming language, a key issue is providing a…
13270 …programming languages; data description language; data handling; data type definition; data types;…
13293 …keywords = "artificial intelligence; compiler error recovery; computer programming languages; …
13403 … one wishes to estimate is written in the first language, a go-to-less programming language which …
13409 descriptors = "Programming language; runtime/storage efficiency; analysis; algorithm;",
13412 …programming languages; efficiency; estimating program efficiency; go to less; interactive commands…
13440 …keywords = "computer programming languages; factoring; paramodulation; programming languages; …
13441 …xperimentation; factoring; paramodulation; problem oriented languages; programming languages; reso…
13464 …keywords = "character sets; compacting character sets; computer programming; covering problem;…
13483 …rithm; function approximation; l/sub 1/ approximation; l1 norm; linear programming; minimizes; ove…
13757 …keywords = "asynchronous; command language; compatible file; computer systems programming; dem…
13780 keywords = "computer programming languages",
13808 …keywords = "CACM; computer programming languages; deterministic model; independent tasks; mean…
13831 …keywords = "access control lists; authentication; computer systems programming; control; contr…
13855 …uctures; hardware; hash table; information sharing; operating systems; programming conventions; pr…
14009 title = "A New Solution of {Dijkstra}'s Concurrent Programming Problem",
14029 …eywords = "computer systems programming; concurrent programming; critical section; Dijkstra's …
14048 …classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming); C6150G (D…
14052 …stems programming; conversion of programs; debugging; decision tables; objectives; optimization; p…
14236 title = "Interactive Graphic Display for Region Partitioning by Linear Programming",
14247 …abstract = "Using linear programming, an interactive graphic display system has been implement…
14253 …inals; linear; linear programming; mathematical programming, linear; minimum; nonoverlapping subre…
14278 …keywords = "computer programming languages; context free languages; context-free languages; de…
14363 …; operating systems (computers); optimum checkpoint interval; program; programming checkpoint; ran…
14382 classcodes = "C6110 (Systems analysis and programming); C6130 (Data handling techniques)",
14386 …keywords = "coding; computer programs; computer systems programming; converting; converting de…
14476 …abstract = "Programming systems which permit arbitrary linked list structures enable the user …
14483 …; Language; storage management; structured data structures; structured programming; structures; ti…
14514 title = "On Generation of Test Problems for Linear Programming Codes",
14525 …n and an illustrative implementation of a method for generating linear programming test problems w…
14531 …programming; data handling; large; linear programming; linear programming codes; LP; LP program va…
14576 title = "A computer routine for quadratic and linear programming problems",
14589 …utine; computers; linear programming; natural sciences applications of; programming; quadratic and…
14645 keywords = "computer programming",
14690 …keywords = "computer systems programming; critical working set; dynamic restructuring; file or…
14736 … intelligence; computer composition; computer music; formal; heuristic programming; humanities; la…
14755 classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation)",
14759 …ressions; compilers; computations; computer programming; demand paging; languages; optimization; p…
14815 …classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation); C6140D (High …
14817 …keywords = "data structures; FORTRAN; FORTRAN IV; programming; representing strings; string pr…
14853 classcodes = "C6110 (Systems analysis and programming)",
14855 … structures; exit statement; GO TO; go to free programming; labels; multiple exits from loops; pro…
14861 title = "Computer Programming as an Art",
14873 abstract = "Discussion emphasizes that computer programming is an art as well as a science.",
14875 classcodes = "C6110 (Systems analysis and programming)",
14879 keywords = "art; computer; computer programming; programming; quality",
14925 …); analytic model; computer selection and evaluation; computer systems programming; dispatching; e…
14942 …d that the B-schedule of Coffman and Graham is near-optimal. A dynamic programming solution for th…
14948 …keywords = "comparison; computer systems, digital; dynamic programming; list schedules; list s…
15008 …keywords = "computer programming --- Subroutines; data processing; educational administrative …
15104 …g; fact retrieval; file organisation; formal query language; heuristic programming; heuristics; in…
15153 …g; data translation; database reorganization; nonprocedural languages; programming languages; tran…
15370 title = "The New Math of Computer Programming",
15385 …programming has proved to be an important methodology for systematic program design and developmen…
15387 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
15391 …ory; computer programming; function expressions; mathematical techniques; program correctness; pro…
15610 …hich can readily be coded by the reader in the high level or low level programming language of his…
15616 …programming language; low level programming language; mathematical techniques; matrix algebra; mat…
15643 …compiler; computer controlled typesetting; computer graphics; computer programming languages; grap…
15651 title = "{GLYPNIR} --- {A} programming language for {Illiac IV}",
15662 …abstract = "GLYPNIR is one of the earliest existing languages designed for programming the Ill…
15668 …programming languages; GLYPNIR; GLYPNIR programming; Illiac IV computer; language; machine oriente…
15687 classcodes = "C4240 (Programming and algorithm theory); C7310 (Mathematics computing)",
15691 …keywords = "algorithm theory; bound; computational complexity; computer programming; mathemati…
15799 …g restrictions on the use of $P$ and $V$. These restrictions eliminate programming techniques used…
15805 …ng systems (computers); operators; process synchronization primitives; programming techniques; sem…
15935 …mputer programming; full period integer coefficient; numbers; prime number; quadratic hash functio…
15961 … relation; binary relations; Boolean algebra; Boolean matrix; computer programming; digraph; direc…
15984 …keywords = "algorithm; buddy system; computer programming; locating adjacent storage blocks; s…
16011 …keywords = "adaptive routine; computer programming; current simulation; discrete system simula…
16069 …keywords = "bounded workspace; computer programming; computer programming languages --- List P…
16202 title = "Corrigendum: {``The New Math of Computer Programming''}",
16261 …em solver; program; programming; space planning tasks; spatial constraints; systems science and cy…
16362 classcodes = "C6110 (Systems analysis and programming); C7800 (Other computer applications)",
16385 …classcodes = "C6110 (Systems analysis and programming); C6150C (Compilers, interpreters and othe…
16389 …pretive code; interpretors; machine independent; program interpreters; programming; SNOBOL; SNOBOL…
16465 …keywords = "computer programming; computing; data handling; editing; linear space; linear spac…
16482 …abstract = "This paper presents a generalization of an old programming technique; using it, on…
16488 …programming; data handling; decimal arithmetic; digital arithmetic; mathematical techniques --- Di…
16509 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
16579 …keywords = "computer selection and evaluation; computer systems programming; computing systems…
16619 …abstract = "This paper presents a programming language designed specifically for the compact a…
16625 … grammars; computer programming languages; grammars; literature; natural language; oriented langua…
16642 …abstract = "This paper deals with the design of hierarchically structured programming systems.…
16644 classcodes = "C6110 (Systems analysis and programming)",
16648 …ds = "abstraction; computer systems programming; cost; design; hierarchically structured syste…
16698 …keywords = "computer programming; hash linking; information retrieval systems; LISP; locations…
16760 …abstract = "Methods of describing the syntax of programming languages in ways that are more fl…
16766 …mars; computer programming languages; context free grammars; context-free grammars; LL parsers; LR…
16793 …programming languages; constructs; correctness proof; derivation; guarded commands; k-guarded-comm…
16839 …abstract = "Interactive programming systems often contain help commands to give the programmer…
16842 …classcodes = "C6110 (Systems analysis and programming); C6140 (Programming languages); C6150J (O…
16846 …programming languages; ELIZA; help commands; instruction; interactive programming; natural languag…
16940 classcodes = "C6110 (Systems analysis and programming)",
16944 …atum; full-word instructions; packed data; parallel; parallel processing; processing; programming",
16963 classcodes = "C6110 (Systems analysis and programming)",
16967 …keywords = "Boolean method; coding; computer systems programming; decision rules; decision tab…
16991 …keywords = "capabilities; compactification; computer systems programming; data structures; fre…
17088 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150G (D…
17092 …programming languages; execution behaviour; functional lisp; generating functions; LISP; lisp; lis…
17109 …s conforming to the Data Base Task Group specifications. The automatic programming technology util…
17115 …keywords = "automatic programming; Data Base; data processing; data structures; database desig…
17140 …programming languages; convert; data; data conversion; data handling; data processing --- Data Str…
17163 … inverted; manipulation language; optimisation; pipelined concurrency; programming; query response…
17207 classcodes = "C4240 (Programming and algorithm theory)",
17211 …programming --- Sorting; computer systems, digital; linearly ordered sets; merging; parallel binar…
17307 classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming)",
17311 …programming languages; go to statements; language design; operational abstractions; PASCAL; progra…
17330 …classcodes = "C6110 (Systems analysis and programming); C6150C (Compilers, interpreters and othe…
17334 …keywords = "compilers; computer programming languages; correction; debugging; diagnostic infor…
17340 title = "Backtrack Programming Techniques",
17353 …classcodes = "C4240 (Programming and algorithm theory); C6100 (Software techniques and systems)",
17357 …programming; depth first search; depth-first search; difference-preserving codes; exhaustive; exha…
17379 classcodes = "C4240 (Programming and algorithm theory)",
17383 …ique; compaction of character sets; computational complexity; computer programming; cover problem;…
17389 title = "Programming Languages, Natural Languages, and Mathematics",
17402 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17403 …programming are illuminated through analogies with similar aspects of mathematics and natural lang…
17405 classcodes = "C6110 (Systems analysis and programming)",
17409 …programming languages; descriptive and; literature; prescriptive attitudes; programming language; …
17428 classcodes = "C6110 (Systems analysis and programming)",
17432 …programming languages; conditions; error; exception conditions; exception handling; goto statement…
17452 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17455 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17459 … theory; circ; circularity problem; computational complexity; computer programming languages; cont…
17479 …note = "Papers from the Second ACM Symposium on Principles of Programming Languages (Palo …
17482 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17486 keywords = "automata theory; computer programming languages",
17504 …nd of $O(e \log e)$ function operations. \par It is also shown that in programming terms, the numb…
17508 … search; flow graph; function spaces; global flow analysis; go-to-less programming; graph theory; …
17528 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17531 classcodes = "C4240 (Programming and algorithm theory)",
17535 …sible; interruptible; parallel processing; parallel programs; process; programming theory; reducti…
17554 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
17558 …programming; computer programming languages; data flow analysis; data processing --- Data Structur…
17638 … alternate routing; communications network; computer network; computer programming; digital commun…
17706 …in student-oriented compilers, improvement of teaching, and changes in programming language. Cobol…
17708 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150G (D…
17712 …words = "COBOL; computer programming languages; error diagnosis; errors; misspellings; program…
17749 …programming languages and compilers; a formal definition of attribute grammars and a discussion of…
17755 …programming languages; context free grammar; context-free grammars; context-free languages; deriva…
17781 keywords = "computer systems programming; probability",
17805 …keywords = "combinatorial mathematics; computer programming; enumeration; loop free algorithms…
17822 … between this representation of the minimization problem and a dynamic programming approach are di…
17828 …ynamic programming; edge and contour detection; extraction of; heuristic programming; heuristic se…
17904 …keywords = "bit addressable memory; computer programming; constant divisors; digital arithmeti…
17925 …ntelligence; cognition; computer science; empirical inquiry; heuristic programming; heuristic sear…
17970 classcodes = "C4240 (Programming and algorithm theory)",
17974 …g; edge listing data; flow graphs; optimisation; program optimisation; programming theory; static …
18013 …ntional; interaction with databases; privacy protection; protection in programming languages; reso…
18055 keywords = "BASIC; computer programming languages; interpretive language summary",
18075 …abstract = "A conversational programming language for analytic geometry is described, together…
18081 …mputer graphics; computer programming languages; conventional programming language; geometry; grap…
18125 …keywords = "automatic diagnosis; computer programming languages; correctness; incorrectness; i…
18244 …cks; computer metatheory; computer operating systems; computer systems programming --- Multiprogra…
18271 …hod; computer metatheory; computer operating systems; computer systems programming; concurrent pro…
18294 …keywords = "bounded locality intervals; computer operating systems; computer programming langu…
18317 …keywords = "computer operating systems; computer systems programming --- Supervisory and Execu…
18343 …keywords = "behaviour; computer operating systems; computer systems programming --- Supervisor…
18386 …keywords = "bucket; computer systems programming --- Utility Programs; data management; data p…
18428 classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation)",
18432 …r; computer operating systems; formats; instruction addresses; paging; programming; variable lengt…
18451 …classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation); C6130 (Data h…
18455 …keywords = "circular link; computer programming --- Subroutines; computer programming language…
18472 …ranch-and-bound. The new approach described in this paper uses dynamic programming to synthesize a…
18474 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
18478 …programming; decision table conversion; decision tables; decision trees; dynamic programming; math…
18501 …keywords = "complexity; computer programming --- Subroutines; computer programming languages; …
18586 …keywords = "assertions; computer metatheory --- Programming Theory; computer systems, digital;…
18606 …ed. It interpretively executes programs written in a simple PL/I style programming language. It in…
18608 …classcodes = "C6110 (Systems analysis and programming); C6150G (Diagnostic, testing, debugging a…
18612 …keywords = "computer metatheory --- Formal Logic; computer programming languages; debugging; E…
18654 classcodes = "C6110 (Systems analysis and programming); C7100 (Business and administration)",
18658 …keywords = "computer systems programming; data processing --- Security of Data; decision rules…
18738 …keywords = "buddy system; computer operating systems; computer systems programming --- Supervi…
18756 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
18782 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
18786 …keywords = "computer programming; computer software; education; grading; grading programs; phi…
18792 title = "The Denotational Semantics of Programming Languages",
18806 …programming language semantics developed by D. Scott and C. Strachey. The application of the theor…
18812 …programming languages --- Analysis; continuation; environment; formal language; formal languages; …
18888 …keywords = "balanced; balanced trees; binary; binary trees; computer programming; data process…
18949 …keywords = "computer programming --- Subroutines; computer programming languages --- lisp; com…
18971 classcodes = "C4240 (Programming and algorithm theory)",
19001 …isation; computer programming --- Subroutines; context free grammars; context-free grammars; deriv…
19046 classcodes = "C4240 (Programming and algorithm theory)",
19050 …ymbolic; combinations; combinatorial computing; compositions; computer programming --- Subroutines…
19074 …computer operating systems --- Storage Allocation; computer programming; computer programming lang…
19098 …keywords = "computer programming; context tree; context trees; data processing --- Data Struct…
19211 …The BMD and BMDP series are the results of methodological research and programming effort at the U…
19262 …keywords = "academic employment; affirmative action; computer programming; computer science; c…
19298 …abstract = "A sample set of Cobol programming standards is offered. These standards constrain …
19300 classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages)",
19304 …programming --- Structured Programming; computer programming languages; computer programs --- Stan…
19310 …title = "Design and Implementation of a Table Driven, Interactive Diagnostic Programming Sy…
19323 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
19327 …programming languages --- Procedure Orientation; computer science education; computer systems, dig…
19350 …keywords = "analysis program; comparison of algorithms; computer programming --- Subroutines; …
19378 …keywords = "computer operating systems --- Scheduling; computer systems programming --- Multip…
19424 …nt; compiler; complex data types; computer operating systems; computer programming languages; high…
19430 title = "Roster of Programming Languages for 1974--75",
19441 … be in use in the United States by someone other than the developer. A programming ( equals higher…
19447 …keywords = "computer programming; computer programming languages; higher level language; progr…
19489 …equipment); B7990 (Other military topics); C6110 (Systems analysis and programming); C7120 (Financ…
19521 title = "Structured programming in {COBOL}: an approach for application programmers",
19532 … and writing Cobol programs are presented. Previous work in structured programming is drawn upon a…
19534 classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages)",
19541 …programming; COBOL; Cobol; computer metatheory --- Programming Theory; computer programming; compu…
19583 …hat is presented in this paper, both as a nonlinear programming model and a mixed integer programm…
19589 …timization; integer programming; integer programming model; mixed; nonlinear; nonlinear programmin…
19608 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
19612 …rrences; computer programming; error analysis; hash coding; intelligence; pattern recognition; pat…
19635 … ALGOL 60; computer operating systems --- Storage Allocation; computer programming languages --- A…
19695 …keywords = "computer programming languages; data processing --- Data Structures; empirical stu…
19722 …keywords = "complexity; computational complexity; computer graphics; computer programming; con…
19744 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
19749 keywords = "missing page rate; programming; statistics; transient free; working set",
19772 …eneration; arcs; circle drawing; circular; computer graphics; computer programming --- Subroutines…
19778 … "Occurrences of Cycling and Other Phenomena Arising in a Class of Linear Programming Models",
19789 …formulation of linear programming problems which are ill-conditioned in some cases. In attempting …
19795 …keywords = "average queue size; cycling; linear programming; mathematical programming, linear;…
19812 …(Combinatorial mathematics); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm t…
19886 …keywords = "architectures; computer architecture; computer programming languages --- Machine O…
19935 …keywords = "computer programming --- Subroutines; data processing --- Natural Sciences Applica…
19962 …ional complexity; computations; computer metatheory --- Programming Theory; computer programming; …
20051 …keywords = "computer metatheory --- Programming Theory; computer operating systems; computer p…
20073 classcodes = "C4240 (Programming and algorithm theory)",
20077 …Programming Theory; computer programming; computer programming languages --- Program Debugging; fu…
20117 …sses on the one hand, and machine learning, large scale programming system, and novel programming …
20123 …nd analysis; human decision making; human problem solving; large scale programming systems; learni…
20254 …keywords = "computer programming --- Subroutines; computer systems programming --- Sorting; co…
20277 classcodes = "C6110 (Systems analysis and programming)",
20281 …ry --- Programming Theory; computer programming; correctness; hierarchically structured programs; …
20287 title = "{SP/k}: {A} System for Teaching Computer Programming",
20298 …ge subsets called SP/1, SP/2,\ldots{} SP/8. Each subset introduces new programming language constr…
20300 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
20304 …ords = "compatible subset; computer programming; computer science education; PL/1; PL/I langua…
20305 keywords = "computer programming languages; education",
20356 …keywords = "computer networks; computer programming --- Subroutines; computers --- Data Commun…
20375 classcodes = "C4240 (Programming and algorithm theory)",
20380 …keywords = "analysis of algorithms; AVL trees; binary search trees; computer programming --- S…
20426 …keywords = "best match; choice; computer programming --- Subroutines; data processing; file or…
20452 …keywords = "Boolean algebra; Boolean expressions; computer programming --- Subroutines; comput…
20500 classcodes = "C4240 (Programming and algorithm theory)",
20505 …keywords = "algorithm theory; computer programming --- Subroutines; data processing; fast algo…
20534 title = "Experimental Investigations of the Utility of Detailed Flowcharts in Programming",
20547 classcodes = "C6110 (Systems analysis and programming)",
20551 …keywords = "aid; comprehension; computer programming; computer programming languages; controll…
20577 title = "The System {for Business Automation} ({SBA}): Programming Language",
20588 …ted manually. The Query-by-Example database language is a subset of the SBA programming language.",
20594 …programming; business automation; by Example; computer programming languages; data processing --- …
20617 … algebraic technique; computer metatheory; computer programming --- Reliability; computer programm…
20634 …ons without introducing implementation detail, should be incorporated into programming languages.",
20640 …keywords = "computer programming languages; data aggregates; data base systems --- Design; dat…
20660 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
20664 …ter programming languages; data processing --- Data Structures; data structures; data types; high …
20687 …keywords = "algorithms; buddy systems; computer operating systems; computer programming --- Su…
20710 … "bounded storage algorithm; computer programming --- Subroutines; computer programs; computer sys…
20729 classcodes = "C4240 (Programming and algorithm theory)",
20733 …ry --- Recursive Functions; computer programming; computer systems programming --- Sorting; functi…
20752 …g whether or not a given function can be computed through the use of ``programming tricks'' involv…
20758 …puter architecture --- Microprogramming; computer metatheory; computer programming; digital arithm…
20807 …uter operating systems --- Scheduling; computer programming --- Subroutines; computer systems prog…
20838 …keywords = "computer networks; computer programming --- Subroutines; computer systems, digital…
20863 …keywords = "character output; communication system; computer networks; computer programming --…
20909 …uter operating systems --- Scheduling; computer programming --- Subroutines; computer systems prog…
20955 …keywords = "automatic storage; compile time; computer operating systems; computer programming …
20972 …programming language, Lucid is unconventional because, among other things, the order of statements…
20978 …programming --- Reliability; computer programming languages; Dataflow; formal languages; formal sy…
21001 …; compiled; computer operating systems --- Program Compilers; computer programming languages; impl…
21018 …ementors --- are discussed, and some implications for Mesa and similar programming languages are s…
21024 …programming languages; computer systems programming; data processing --- Data Structures; data str…
21047 …programming; computer programming languages; control specialization; correctness; defining; genera…
21065 …programming language designed to support the use of abstractions in program construction. Work in …
21071 …CLU; computer programming; computer programming languages; construction; linguistic mechanisms; pr…
21077 title = "Toward a Discipline of Real-Time Programming",
21088 …Programming is divided into three major categories with increasing complexity of reasoning in prog…
21090 classcodes = "C6110 (Systems analysis and programming); C6150J (Operating systems)",
21094 …programming languages; computer systems, digital; concurrency; discipline; execution time; Modula;…
21111 …programming reliability of subjects using a statically typed language and a ``typeless'' language.…
21117 …eywords = "computer programming languages; data type conventions; data types; evaluation; prog…
21141 …keywords = "algorithm; computer programming --- Subroutines; data processing; data structure; …
21180 classcodes = "C6110 (Systems analysis and programming)",
21182 …keywords = "advantage; keyword notation; parameter communication; structured programming; subp…
21205 classcodes = "C4240 (Programming and algorithm theory)",
21215 title = "Logic and Programming Languages",
21231 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
21235 …cs; computer metatheory; computer programming languages; decision methods; formal logic; methods o…
21258 …keywords = "Advanced Test in Computer Science; computer programming; computer science educatio…
21264 title = "An Analysis of Inline Substitution for a Structured Programming Language",
21275 …he program to be optimized. Preliminary results for the CLU structured programming language indica…
21277 …classcodes = "C6140 (Programming languages); C6150C (Compilers, interpreters and other processor…
21281 …programming --- Structured Programming; computer programming languages; execution time; inline sub…
21304 …keywords = "associative memory; computer systems programming --- Multiprogramming; configurati…
21330 …keywords = "computational complexity; computer programming --- Subroutines; generation of prim…
21425 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
21429 …programming --- Structural Programming; computer programming languages; control flow graph; data f…
21430 … "data flow analysis; escape; high; jump; level; programs; statements; structured programming",
21436 title = "Two-Level Control Structure for Nondeterministic Programming",
21447 …programming are critically reconsidered to single out a proper attitude and programming style for …
21449 classcodes = "C4240 (Programming and algorithm theory)",
21453 …keywords = "computer programming languages; control structure; languages; nondeterministic pro…
21472 …rammars, which resemble PASCAL syntax diagrams, describe the syntax of programming languages more …
21478 …keywords = "automata theory; computer programming languages; finite automata; finite state mac…
21497 classcodes = "C4240 (Programming and algorithm theory); C6150J (Operating systems)",
21520 classcodes = "C5420 (Mainframes and minicomputers); C6110 (Systems analysis and programming)",
21524 … "computer operating systems; computer programming; dedicated; maintenance; Programmer's Workbenc…
21547 …keywords = "computer system; computer systems programming; file organisation; memory interfere…
21567 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
21572 …m; Boyer-Moore; character string; computer operating systems; computer programming; fast; informat…
21578 title = "Considerations for future programming language standards activities",
21591 …error conditions; FORTRAN; future; PL/I; procedure oriented languages; programming language; stand…
21665 …keywords = "algorithms; asynchronous processes; computer systems programming; concurrent; mult…
21724 …classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory); C6140D (High level…
21726 keywords = "notation; programming languages; syntactic definitions",
21743 classcodes = "C6110 (Systems analysis and programming)",
21745 keywords = "enumeration; permutation; programming; reflection free",
21765 …classcodes = "C4240 (Programming and algorithm theory) 1 Years All Years in which items were pub…
21767 keywords = "optimal approach; optimal fixedpoints; programming theory; recursive programs",
21773 title = "Very High Level Programming Language for Data Processing Applications",
21790 …uter programming languages; data processing, business; language; organization; problem oriented la…
21817 …keywords = "computer programming; file organisation; functions; perfect hashing; retrieving; s…
21840 …keywords = "algorithm; computer programming; indexed temporary; linear function test; local op…
21862 classcodes = "C4240 (Programming and algorithm theory)",
21866 …programming; functional program transformation optimization recursion elimination pattern matching…
21956 …computer science; computer science education; curricular; development; programming courses; small …
21962 title = "A Conceptual Framework for a Nonprocedural Programming Language",
21973 …programming language forces the programmer to prescribe explicitly the order in which the operatio…
21975 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
21979 …ds = "computer programming languages; conceptual framework; concurrent; nonprocedural programm…
22025 classcodes = "C4240 (Programming and algorithm theory)",
22027 …keywords = "correct; garbage collector; parallel processing; parallel programs; programming th…
22046 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
22050 …keywords = "communicating; computer programming languages; constraints; formal languages; form…
22292 …keywords = "computer programming; cryptography; cryptosystems; data handling; data processing …
22311 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
22315 …ywords = "computer programming; linkage; optimization; PL/1; procedure; procedure integration;…
22337 …0 (Combinatorial mathematics); C1180 (Optimisation techniques); C4240 (Programming and algorithm t…
22341 …combinatorial optimization problem; computational complexity; computer programming; edge; graph co…
22415 …rs are discussed. This work is applicable to biomedical engineering and mathematical programming.",
22421 …ge processing; image reconstruction; linear inequalities; mathematical programming; method; pictur…
22443 classcodes = "C4240 (Programming and algorithm theory)",
22447 …keywords = "computer programming languages; continuously operating programs.; correctness of p…
22448 …programs; intermittent-assertion method; program; program correctness; programming theory; termina…
22575 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
22579 …keywords = "AVL trees; balanced trees; binary search; computer programming; dynamic balancing",
22580 …keywords = "deletions; insertions; one sided height balanced trees; programming theory; trees …
22606 …keywords = "arrays; average proximity; computer programming; data processing; data structure; …
22632 …keywords = "anomalous behaviour; computer operating systems; computer programming --- Subrouti…
22638 title = "Implications of Structured Programming for Machine Architecture",
22651 classcodes = "C5220 (Computer architecture); C6110 (Systems analysis and programming)",
22655 …set computer architecture pipelining microcoding; program characteristics; structured programming",
22681 …keywords = "binary sequences; bit string; computer programming; data encryption key; encoding;…
22704 …keywords = "computer programming; delta storage; encodings; file organisation; files; independ…
22724 …abstract = "A general dynamic programming algorithm for converting limited extended, or mixed …
22726 classcodes = "C6110 (Systems analysis and programming)",
22730 …keywords = "common action sets; compressed; computer programming; condition tests; conversion;…
22754 …keywords = "collection; computer programming; data processing; garbage; list processing; list …
22798 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
22800 …nal complexity; instructions; lengths of programs; program assemblers; programming; span dependent…
22826 …keywords = "computer programming; data structure; data structures; deletion; earliest priority…
22901 …keywords = "arbitrarily linked; classification; computer programming; contiguous storage locat…
22918 …ng systems by access control mechanisms. This work shows how to extend programming languages to pr…
22924 …ess control; computer programming languages; constraints; data access; data structures; language e…
22946 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
22950 …keywords = "computer programming; procedures; program testing; programming theory; proving pro…
22967 …abstract = "In the past, programming systems have provided only a single general purpose imple…
22969 …classcodes = "C6110 (Systems analysis and programming); C6120 (File organisation); C6150C (Compi…
22973 …keywords = "abstract data types; automatic programming; automatically; computer programming; d…
22979 title = "Incorporation of Units into Programming Languages",
22990 …abstract = "The issues of how a programming language might aid in keeping track of physical un…
22992 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150C (C…
22996 …automatic conversion; computer programming languages; physical units; program compilers; programmi…
23013 …ge itself. The resulting procedure mechanism, which is part of the SL5 programming language, is we…
23019 …ansmission; computer programming languages; coroutines; procedure invocation; procedure mechanism;…
23042 …Programming Theory; computer programming; generalization; graph matching; inducing knowledge; indu…
23048 …title = "New Sufficient Optimality Conditions for Integer Programming and Their Application…
23062 …programming problems. Some of the sets of sufficient conditions presented can be thought of as gen…
23068 keywords = "integer programming; mathematical programming; sufficient optimality conditions",
23088 …. H. Ahrens and U. Dieter's methods. The core storage requirements and programming effort for this…
23098 keywords = "computer programming; mathematical statistics --- Random Number Generation",
23099 …keywords = "core; gamma distribution; gamma random variables; generating; programming effort; …
23146 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
23150 … "arbitrary node; binary tree; computer programming; data structures; deletion; one; optimal metho…
23169 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
23173 …nary search tree; binary search trees; computer programming; Data retrieval; data structures; prog…
23195 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
23199 …m theory; average times; benchmarks; bottom up SLR(1) parser; computer programming languages; dete…
23222 …keywords = "automatically; compilers; computer programming languages; detecting; error correct…
23239 … life cycle cost of a system. Rough estimates of the total systems and programming resources consu…
23241 classcodes = "C0310 (EDP management); C6110 (Systems analysis and programming)",
23245 …maintenance; characteristics; computer programming; DP management; enhancement; extension; managem…
23251 title = "Some Basic Determinants of Computer Programming Productivity",
23262 …programming time required are objectively measurable from preprogramming specifications. The five …
23264 classcodes = "C0310 (EDP management); C6110 (Systems analysis and programming)",
23268 …programming; computer programming productivity; determinants; DP management; forecasting; predicti…
23343 …keywords = "balanced; computer systems programming; CPU; devices; expected timesharing respons…
23360 …system operation. Also included are discussions of important issues in programming natural languag…
23390 classcodes = "C4240 (Programming and algorithm theory)",
23394 …ational complexity; computational model; computer metatheory; computer programming; computing; dec…
23420 …keywords = "algorithm; computation order; computer programming; matrix algebra; matrix chain p…
23446 …keywords = "Average number of accesses; binary search; computer programming; database; file or…
23472 …keywords = "collision resolution method; computer programming; efficiency; file organisation; …
23518 …keywords = "computer programming languages; context switching; environment; LISP; LISP 1.5; re…
23537 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
23541 …keywords = "code generation; compiler; computer programming languages; correctness proving; he…
23564 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
23568 …keywords = "algorithm; computer programming; correctness; equality; program testing; reasoning…
23615 …title = "Can Programming Be Liberated From the {von Neumann} Style? {A} Functional Style an…
23627 …programming languages are growing ever more enormous, but not stronger. Inherent defects at the mo…
23629 …programming languages are growing ever more enormous, but not stronger. Inherent defects at the mo…
23630 classcodes = "C6140 (Programming languages)",
23633 …descriptors = "Programming language; reliability; future outlook; von Neumann computer; applicati…
23635 …ctional programming; metacomposition; models of computing systems; program correctness; program te…
23681 …keywords = "bucket sort algorithm; computer programming --- Subroutines; computer systems prog…
23704 …keywords = "computer operating systems --- Storage Allocation; computer programming; encoding;…
23722 …programming and that parallel composition of communicating sequential processes is a fundamental p…
23725 classcodes = "C6110 (Systems analysis and programming)",
23729 …programming; concurrency; conditional critical regions; coroutines; CR categories: 4.20; CSP; data…
23752 …keywords = "buffer space assignment; computer systems programming; computer systems, digital; …
23828 classcodes = "C4240 (Programming and algorithm theory)",
23832 …ymptotically; computer programming; interprocedural data flow analysis algorithm; optimal in time …
23898 …classcodes = "C6110 (Systems analysis and programming); C6150G (Diagnostic, testing, debugging a…
23902 …keywords = "code; computer programming; controlled experiment; effective; errors; experienced …
23950 …keywords = "computer programming --- Subroutines; digital simulation; discrete simulations; ev…
24039 keywords = "computer programming languages; FORTRAN; FORTRAN 77; standard FORTRAN; standards",
24064 …keywords = "computer systems programming; computer systems, digital --- Multiprocessing; inter…
24088 …keywords = "computer systems programming; data structures; database structures; file managemen…
24111 …keywords = "algorithm; complete computer programs; computer systems programming; computerised …
24134 …keywords = "computer systems programming; counting; data handling; multichannel counting hardw…
24153 classcodes = "C6110 (Systems analysis and programming)",
24155 …ms; Dutch National Flag Problem; program refinement; programming; refinement; structured programmi…
24179 …hms; code optimisation techniques; code optimization; computer systems programming; internal; Quic…
24202 …keywords = "computer systems programming; costs; data handling; open addressing; optimal packi…
24225 …keywords = "computer operating systems; computer systems programming --- Multiprogramming; mem…
24366 …generation; core; gamma random variables; nonintegral shape parameter; programming effort; random …
24391 …keywords = "compilers; computer programming languages; debugging; grammars; processing; progra…
24410 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24412 …tructures; LISP; Lisp; LISP; Parallel evaluation; parallel evaluation; programming theory; suspend…
24418 title = "Distributed Processes: {A} Concurrent Programming Concept",
24432 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24436 …programming languages; concurrency; concurrent programming; coroutines; distributed; distributed p…
24458 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6120…
24462 …keywords = "AVL trees; binary search trees; computer metatheory; computer programming; file or…
24484 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6120…
24488 …keywords = "computer programming; fast lookup technique; file organisation; frequently occurri…
24525 classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)",
24529 …combinatorial search; computer programming; constraint network representation; graph colouring; LI…
24621 …keywords = "computer programming; linear sieve algorithm; number theory; prime factorization; …
24644 …keywords = "algorithm; computer programming; computer terminals; document; number; of characte…
24690 …keywords = "computer programming; decision table programs; decision tables; error diagnosis; l…
24709 …programming and branch-and-bound. The former technique is quite effective, but its time and space …
24711 classcodes = "C4240 (Programming and algorithm theory)",
24715 …sion tables; heuristically guided search; mathematical programming, dynamic; optimal; programming …
24764 …tract data type; algebraic axiomatizations; algebraic axioms; computer programming languages; corr…
24781 …programming is being increasingly recognized as helpful in the construction of large programs. Use…
24783 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
24787 …programming; computer programming languages; data abstraction; hierarchical design; hierarchical p…
24872 …keywords = "algorithms; bubble memory; computer programming --- Subroutines; data block shift;…
24899 …keywords = "computer systems programming --- Multiprogramming; computer systems, digital; CPU …
24924 …ompilation; computer operating systems --- Program Compilers; computer programming languages; cont…
24943 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
24947 …programming; program manipulation; program transformations; programming theory; semantic transform…
25010 …keywords = "APL; computer programming languages; data structures; functions; nested arrays; pr…
25032 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
25036 …s = "computer programming; execution cost; execution time; optimizer; partial redundancies; pr…
25103 …keywords = "computer systems programming; concurrent processes; distributed systems; eventcoun…
25322 classcodes = "C6110 (Systems analysis and programming)",
25332 …title = "A Mathematical Programming Updating Method Using Modified {Givens} Transformations…
25351 …keywords = "linear programming; mathematical programming; mathematical programming, linear; mo…
25397 classcodes = "C4240 (Programming and algorithm theory)",
25401 …keywords = "computer programming; formal verification; philosophical aspects; program language…
25425 …gorithm; circular configurations; computer operating systems; computer programming --- Subroutines…
25471 classcodes = "C4240 (Programming and algorithm theory)",
25475 …programming; concatenation; concepts; equivalence relations; extension of relations; functional re…
25504 title = "An implementation of structured walk-throughs in teaching {COBAL} programming",
25515 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
25517 …keywords = "COBAL programming; computer science education; multiple covariance; programming; s…
25534 classcodes = "C6110 (Systems analysis and programming)",
25559 …keywords = "automating file; business application; computations; computer programming; dataset…
25565 title = "High Level Programming for Distributed Computing",
25576 …programming languages is described. Based on primitive notions of module, message, and transaction…
25578 classcodes = "C6110 (Systems analysis and programming)",
25582 …keywords = "computer programming languages; distributed computing; distributed processing; hig…
25626 title = "Beyond Programming Languages",
25636 …programming. Current programming language concepts will not be adequate for building and maintaini…
25638 …classcodes = "C0200 (General computer topics); C6110 (Systems analysis and programming); C6140D …
25640 …keywords = "future; higher level programming systems; Programming; programming languages; prog…
25665 keywords = "algorithmic aspects; computer programming; convex hull and mathematical aspects",
25738 classcodes = "C4240 (Programming and algorithm theory)",
25740 …keywords = "algorithm; algorithm theory; computer programs; control; logic; programming theory…
25766 title = "The paradigms of programming",
25778 classcodes = "C6110 (Systems analysis and programming)",
25780 keywords = "computer programs; languages; paradigms; programming; structural programming",
25823 classcodes = "C4240 (Programming and algorithm theory)",
25825 …keywords = "multiset orderings; program variables; programming theory; proving the termination…
25864 classcodes = "C6110 (Systems analysis and programming); C7310 (Mathematics computing)",
25869 …keywords = "Mean; programming; standard deviation; standard deviation estimates; statistics; u…
25927 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
25951 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
25977 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6160…
26134 classcodes = "C4240 (Programming and algorithm theory)",
26136 keywords = "calendar program; correctness; formal specification; programming theory; proof",
26153 classcodes = "C6110 (Systems analysis and programming)",
26155 keywords = "execution; line number administration; programming",
26208 …classcodes = "C0220 (Computing education and training); C6110 (Systems analysis and programming)…
26210 keywords = "BASIC; computer science education; prestatement; programming; transaction",
26517 title = "Structured Programming with {\bf go to} Statements",
26527 …note = "Reprinted with revisions in {\sl Current Trends in Programming Methodology}, Raymo…
26544 …time bound of 0(e log e) function operations. It is also shown that in programming terms, the numb…
26548 keywords = "computer programming; mathematical programming",
27176 title = "The Art of Computer Programming, Sorting and Searching",
27193 …ster}. ({English} title: Implementation of a One-Step Compiler for the Programming Language {PASCA…
27208 title = "Literate Programming",