Lines Matching full:languages
67 %%% Transactions on Programming Languages and
478 classcodes = "C6140D (High level languages)",
480 keywords = "procedure oriented languages",
715 …scribe the syntax and left-context sensitive semantics for context-free languages. A formal proced…
719 …"automata; computational linguistics; context-free languages; finite state automata; formal langua…
1104 classcodes = "C6140D (High level languages)",
1107 keywords = "computers; differential equations; mathematics; problem oriented languages",
1185 title = "A Note on the Complement of Inherently Ambiguous Context-Free Languages",
1198 …d language; Chomsky-language; complement; context-free language; formal languages; inherent ambigu…
1231 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
1252 …classcodes = "C6140D (High level languages); C6150G (Diagnostic, testing, debugging and evaluati…
1255 …keywords = "computers; computers, programming; documentation; procedure oriented languages; Pr…
1277 …keywords = "algorithmic languages; computers; computers, programming; data structures; mathema…
1315 …his problem area are defined and compared with current computer graphic languages. Four alternativ…
1473 classcodes = "C6140D (High level languages)",
1590 …tational linguistics; computers, language; context-free grammars; formal languages; grammars; low",
1609 classcodes = "C6140D (High level languages)",
1612 … = "computers; data structures; gedanken; procedure oriented languages; programming languages",
1630 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
1633 …res; electric circuits, analysis; graph theory; operations research; procedure oriented languages",
1944 …nization, presents a non-hierarchical `normal' structure, and discusses languages for describing r…
1967 classcodes = "C6140B (Machine-oriented languages); C6150J (Operating systems)",
1970 …uters; computers, time sharing; interactive computing; machine oriented languages; operating syste…
2009 classcodes = "C6140E (Other programming languages)",
2012 keywords = "bootstrapping; computers; macro processors; programming languages; system",
2475 … to the description of the features of the two high level user oriented languages, operating at di…
2498 classcodes = "C6140D (High level languages)",
2501 …; computers, language; data plotting; graphics; interactive computing; problem oriented languages",
2743 …amming languages-compilers, interpreters, assemblers-and their interactions in complex systems suc…
2748 …gital, languages; computers, digital, operating; pre; program; program assemblers; program interpr…
3475 classcodes = "C6140D (High level languages)",
3478 …languages; layout problems; logic diagrams representation; pattern recognition; pattern recognitio…
3541 …rs, digital; computers, digital, programming; documentation; FIND; ITI; languages; logical errors …
3869 …ry; automatic program synthesis; CACMA; computer metatheory; computers, languages; computers, prog…
4042 …ogramming; microstorage; problem oriented programming; problem-oriented languages; program process…
4061 …; computer graphics; dimensional languages; microfilm recorder; on line system; online operation; …
4083 …keywords = "algorithmic languages; CACMA; complement; digital arithmetic; division; division a…
4123 …sis; generalised data base management systems; information; programming languages; retrieval; stan…
4249 … functions equivalent and thus applicable in proofs about interpreters for programming languages.",
4254 …iler correctness proofs; computational linguistics; computers, digital, languages; computers, digi…
4540 classcodes = "C6140D (High level languages)",
4542 …semantics; graph processing; Graspe; language extension; Lisp; problem oriented languages; syntax",
4734 …classcodes = "C6120 (File organisation); C6140D (High level languages); C7310 (Mathematics compu…
4738 … Altran; coefficients; computation; data structures; integer; language; languages; polynomial mani…
5055 classcodes = "C0200 (General computer topics); C6140D (High level languages)",
5094 keywords = "computer graphics; display files; display systems; programming languages",
5178 classcodes = "C6140D (High level languages)",
5180 …keywords = "ALGOL; Algol 68; data; design of programming languages; programming languages; pro…
5389 …keywords = "data structures; implementation language; programming languages; systems programmi…
5390 …uage; minicomputers; operating systems; program processors; programming languages; software system…
5408 classcodes = "C6120 (File organisation); C6140D (High level languages)",
5410 …ng; list structures; management; paging environment; procedure oriented languages; storage; virtua…
5809 classcodes = "C6140D (High level languages); C7400 (Engineering computing)",
6315 classcodes = "C4140 (Linear algebra); C6140D (High level languages)",
6791 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
6793 …l aggregate of characters; manipulation; overstriking; problem oriented languages; right parallele…
7190 …sive programs; semantics of computer programs; semantics of programming languages; termination; th…
7363 title = "Programming Systems and Languages (1965--1975)",
7373 …languages in which most of the world's production programs are written and will remain so into the…
7375 classcodes = "C6140 (Programming languages); C6150J (Operating systems)",
7377 …tory; languages; microprogramming; multiprogramming; operating system; operating systems; operatin…
7383 title = "Programming Languages: History and Future",
7393 …languages (= higher level languages). \par Some of the difficulties in writing such a history are …
7395 classcodes = "C6140 (Programming languages)",
7397 …languages; history; language interrelationships; languages; programming language future; programmi…
7598 …= "The ``Plankalk{\"u}l'' of {Konrad Zuse}: a forerunner of today's programming languages.",
7612 classcodes = "C6140 (Programming languages)",
7614 … "history of; Konrad Zuse; languages; notational and conceptual system; Plankalkul; programmin…
7739 …keywords = "affix grammars; algorithmic language processing; algorithmic languages; automata t…
7870 classcodes = "C6140D (High level languages)",
7872 …keywords = "ALGOL; ALGOL 68; composition of semantics; data; design; programming languages; pr…
7890 classcodes = "C6140D (High level languages)",
8226 …us difficulty, provided that we stick to modest and elegant programming languages, provided that w…
8328 …keywords = "automata theory; computer applications; computer programming languages --- lisp; d…
8451 …keywords = "chopping; computer programming; computer programming languages --- Fortran; digita…
8499 …; ALGOL 60; application of functions; compilation; computer programming languages; execution; lamb…
8522 …keywords = "computer programming languages; constructs; derived semantics; flowcharts; lambda …
8545 …keywords = "algorithm; computer programming --- Subroutines; computer programming languages; c…
8568 …keywords = "computer operating systems --- Storage Allocation; computer programming languages;…
8704 title = "Dynamic Partitioning for Array Languages",
8715 …languages. Of general interest is the data structure for partitioning. This consists of dynamic tr…
8717 classcodes = "C6120 (File organisation); C6140D (High level languages)",
8721 …languages; array partitioning; computer programming languages; data processing --- Data Structures…
8744 …keywords = "address calculations; algorithm; computer programming languages; data handling; da…
8750 title = "Method for Incrementally Compiling Languages with Nested Statement Structure",
8767 …languages; data processing --- Data Structures; editor; general purpose text; incremental compilat…
8874 classcodes = "C6140D (High level languages)",
8878 …e; machine independent language; macro processor; portable software; procedure oriented languages",
9015 title = "Protection in Programming Languages",
9032 …l; access keys; authentication; computer programming languages; environments; programming language…
9058 …keywords = "computer programming; computer programming languages; computers; digital arithmeti…
9081 …theory; computer programming languages; linguistic pattern matching; program statements; programmi…
9190 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
9293 title = "The Use of Grammatical Inference for Designing Programming Languages",
9309 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
9313 …languages; context; context-free grammars; extensible languages; free grammars; grammar design; gr…
9335 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
9339 …languages; data processing --- Data Structures; discrete patterns; formal language; formal languag…
9388 …ess; address calculation; addressing; calculation; computer programming languages --- Fortran; con…
9411 …keywords = "compilers; computer programming languages; computer software; computer systems pro…
9433 …keywords = "computer programming languages; computer system design; computer systems, digital …
9565 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
9569 …uter operating systems; computer programming languages --- Program Debugging; computer programming…
9704 classcodes = "C5220 (Computer architecture); C6140D (High level languages)",
9708 …languages; computing machines; emulators; high level language; high level language machine; implem…
10000 … schemes (raster, random, parallel). Examples are given involving array languages consisting of si…
10006 …ammars; automatic testing; CAD; computer graphics; computer programming languages; computer-aided …
10029 …puter programming --- Subroutines; computer programming languages; computer programming languages …
10458 …uter architecture); C6110 (Systems analysis and programming); C6140B (Machine-oriented languages)",
10460 …ed code; hardware; interpreter; machine; machine code; machine oriented languages; microprogrammin…
10699 …o this one and, therefore, to be familiar with at least two programming languages, both as student…
10764 classcodes = "C6140 (Programming languages)",
10766 …om loops; goto free programming; multiple exits; multiple exits from loops; programming languages",
10905 …demonstrated that completely new primitive types can be introduced into languages through the mech…
10906 …demonstrated that completely new primitive types can be introduced into languages through the mech…
10912 …ion; description languages; extensible languages; fen; formal description; formal language; formal…
11364 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
11368 …keywords = "automata theory; COBOL; computer programming languages; computer systems programmi…
11386 …classcodes = "C6140D (High level languages); C6150G (Diagnostic, testing, debugging and evaluati…
11388 …; debugging; PL/I; program debugging; programming language; programming languages; reversible exec…
11722 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
11726 …languages; control structures; explicit parallelism; FORTRAN; ILLIAC IV; ILLIAC IV Fortran; parall…
11908 … computer operating systems --- Program Compilers; computer programming languages; data compressio…
12133 …rogramming language design; proof of programs; semantics of programming languages; structured prog…
12298 …title = "Syntax-directed least-errors analysis for context-free languages: a practical appr…
12311 …keywords = "arbitrary input strings; context free grammars; context-free languages; dynamic pr…
12613 …languages has been almost universally associated with context-free requirements. \par Yet numerous…
12619 …languages; context sensitive grammars; context sensitive requirements; context-sensitive grammars;…
13068 classcodes = "C0220 (Computing education and training); C6140D (High level languages)",
13070 …n; ideal teaching machine; pedagogic language problem; problem oriented languages; simulated; teac…
13106 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
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 …ramming languages; design of programming languages; general purpose language; language contraction…
13266 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
13270 …languages; data description language; data handling; data type definition; data types; efficient i…
13276 title = "Order-$n$ Correction for Regular Languages",
13293 …languages; context free languages; context-free languages; correction; corrector; edit operations;…
13362 …metic; digital arithmetic; floating point arithmetic units; high level; languages; trailing digits…
13392 title = "Two Languages for Estimating Program Efficiency",
13403 …languages enabling their users to estimate the efficiency of computer programs are presented. The …
13405 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
13412 …languages; efficiency; estimating program efficiency; go to less; interactive commands; languages;…
13436 classcodes = "C1230 (Artificial intelligence); C6140D (High level languages)",
13440 …keywords = "computer programming languages; factoring; paramodulation; programming languages; …
13441 …xperimentation; factoring; paramodulation; problem oriented languages; programming languages; reso…
13750 …language selectable on a per-user basis; and (5) over 100 subsystems including a dozen languages.",
13780 keywords = "computer programming languages",
13808 …keywords = "CACM; computer programming languages; deterministic model; independent tasks; mean…
14259 title = "The Equivalence of Reducing Transition Languages and Deterministic Languages",
14272 …languages introduced by Eickel, Paul, Bauer, and Samelson was shown by Morris to be a proper super…
14278 …languages; context free languages; context-free languages; deterministic; deterministic context fr…
14736 …composition; computer music; formal; heuristic programming; humanities; languages; models of cogni…
14759 …ressions; compilers; computations; computer programming; demand paging; languages; optimization; p…
14815 …6110 (Systems analysis and programming); C6120 (File organisation); C6140D (High level languages)",
15153 …g; data translation; database reorganization; nonprocedural languages; programming languages; tran…
15635 …classcodes = "C6130 (Data handling techniques); C6140D (High level languages); C7230 (Publishing…
15643 …esetting; computer graphics; computer programming languages; graphics; mathematics; oriented langu…
15662 …abstract = "GLYPNIR is one of the earliest existing languages designed for programming the Ill…
15664 …odes = "C5400 (Analogue and digital computers and systems); C6140B (Machine-oriented languages)",
15668 …rithm; computer programming languages; GLYPNIR; GLYPNIR programming; Illiac IV computer; language;…
16002 … immediate replacement for the algorithm in use with current simulation languages. The most promis…
16011 …e; event list algorithm; event scheduling routine; indexed linear list; languages; scheduling; sim…
16069 …keywords = "bounded workspace; computer programming; computer programming languages --- List P…
16621 …10 (Formal logic); C6130 (Data handling techniques); C6140D (High level languages); C7820 (Humanit…
16625 …; computer grammars; computer programming languages; grammars; literature; natural language; orien…
16760 …abstract = "Methods of describing the syntax of programming languages in ways that are more fl…
16766 …ter programming languages; context free grammars; context-free grammars; LL parsers; LR parsing; p…
16793 …languages; constructs; correctness proof; derivation; guarded commands; k-guarded-commands; nondet…
16842 …classcodes = "C6110 (Systems analysis and programming); C6140 (Programming languages); C6150J (O…
16846 …languages; ELIZA; help commands; instruction; interactive programming; natural language; natural l…
17088 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150G (D…
17092 …languages; execution behaviour; functional lisp; generating functions; LISP; lisp; list; mechaniza…
17115 …g; data structures; database design; functional approach; nonprocedural languages; operational com…
17136 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
17140 …languages; convert; data; data conversion; data handling; data processing --- Data Structures; dat…
17184 …classcodes = "C6130 (Data handling techniques); C6140D (High level languages); C6150C (Compilers…
17188 …cedural language; operations; optimisation algorithms; problem oriented languages; program interpr…
17282 …ete; however, it avoids the quantifiers and bound variables required by languages based on the rel…
17284 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
17288 … interactive problem; nonprocedural language; problem oriented languages; query languages; relatio…
17311 …keywords = "computer programming languages; go to statements; language design; operational abs…
17334 …keywords = "compilers; computer programming languages; correction; debugging; diagnostic infor…
17389 title = "Programming Languages, Natural Languages, and Mathematics",
17402 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17403 …languages. The split between pure and applied mathematics is found similarly in programming. The d…
17409 …iliary languages; computer programming languages; descriptive and; literature; prescriptive attitu…
17432 …languages; conditions; error; exception conditions; exception handling; goto statement; language f…
17452 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17459 …rc; circularity problem; computational complexity; computer programming languages; context free gr…
17479 …note = "Papers from the Second ACM Symposium on Principles of Programming Languages (Palo …
17486 keywords = "automata theory; computer programming languages",
17528 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17554 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
17558 …languages; data flow analysis; data processing --- Data Structures; data structure choice; data st…
17708 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150G (D…
17712 …keywords = "COBOL; computer programming languages; error diagnosis; errors; misspellings; prog…
17749 …ibes attribute grammars and their use for the definition of programming languages and compilers; a…
17755 …languages; context free grammar; context-free grammars; context-free languages; derivation tree; e…
18013 …teraction with databases; privacy protection; protection in programming languages; resolution; sec…
18051 …classcodes = "C6140D (High level languages); C6150G (Diagnostic, testing, debugging and evaluati…
18055 keywords = "BASIC; computer programming languages; interpretive language summary",
18075 …of the possibility of using this language to design other user oriented languages. LG has been spe…
18077 classcodes = "C5540 (Terminals and graphic displays); C6140D (High level languages)",
18081 …g languages; conventional programming language; geometry; graphics; interactive programming; LG; p…
18125 …keywords = "automatic diagnosis; computer programming languages; correctness; incorrectness; i…
18294 …ed locality intervals; computer operating systems; computer programming languages; locality; memor…
18455 …rcular link; computer programming --- Subroutines; computer programming languages; cursor; data st…
18501 …keywords = "complexity; computer programming --- Subroutines; computer programming languages; …
18612 …keywords = "computer metatheory --- Formal Logic; computer programming languages; debugging; E…
18792 title = "The Denotational Semantics of Programming Languages",
18812 …Languages; computer metatheory; computer programming languages --- Analysis; continuation; environ…
18949 …keywords = "computer programming --- Subroutines; computer programming languages --- lisp; com…
19074 …tems --- Storage Allocation; computer programming; computer programming languages --- lisp; garbag…
19300 classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages)",
19304 …; computer programming --- Structured Programming; computer programming languages; computer progra…
19327 … computer operating systems --- Program Compilers; computer programming languages --- Procedure Or…
19424 …r; complex data types; computer operating systems; computer programming languages; high level bind…
19430 title = "Roster of Programming Languages for 1974--75",
19441 …languages which have been developed or reported in the United States; have been implemented on at …
19443 classcodes = "C6140D (High level languages)",
19447 … "computer programming; computer programming languages; higher level language; programming lan…
19515 …keywords = "automata theory --- Context Free Languages; biomedical engineering --- Computer Ai…
19534 classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages)",
19541 …eory --- Programming Theory; computer programming; computer programming languages --- Cobol; flowc…
19635 …computer operating systems --- Storage Allocation; computer programming languages --- Algol; compu…
19688 …to obey, roughly, Zipf's law, which governs word frequencies in natural languages; pointers to lis…
19690 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
19695 …keywords = "computer programming languages; data processing --- Data Structures; empirical stu…
19886 …keywords = "architectures; computer architecture; computer programming languages --- Machine O…
20077 …eory --- Programming Theory; computer programming; computer programming languages --- Program Debu…
20300 … education and training); C6110 (Systems analysis and programming); C6140D (High level languages)",
20305 keywords = "computer programming languages; education",
20551 …keywords = "aid; comprehension; computer programming; computer programming languages; controll…
20590 classcodes = "C6140D (High level languages); C7100 (Business and administration)",
20594 …languages; data processing --- Data Structures; data processing, business; database language; disp…
20617 … metatheory; computer programming --- Reliability; computer programming languages; data processing…
20634 …ons without introducing implementation detail, should be incorporated into programming languages.",
20640 …keywords = "computer programming languages; data aggregates; data base systems --- Design; dat…
20647 title = "Some Ideas on Data Types in High-Level Languages",
20664 …Algorithmic Languages; computer programming languages; data processing --- Data Structures; data s…
20955 …storage; compile time; computer operating systems; computer programming languages --- List Process…
20974 classcodes = "C4210 (Formal logic); C6140D (High level languages)",
20978 …theory --- Algorithmic Languages; computer programming --- Reliability; computer programming langu…
20997 classcodes = "C6140D (High level languages)",
21001 …pilers; computer programming languages; implementation; pattern recognition systems; patterns; pro…
21018 …- are discussed, and some implications for Mesa and similar programming languages are suggested. T…
21020 classcodes = "C6140D (High level languages); C6150 (Systems software)",
21024 …languages; computer systems programming; data processing --- Data Structures; data structuring; de…
21041 …oops are essentially identical to the corresponding constructs in other languages. A means of show…
21043 classcodes = "C6140D (High level languages)",
21047 …languages; control specialization; correctness; defining; generators; invariants; iteration; itera…
21065 …hese, only the procedural abstraction is supported well by conventional languages, through the pro…
21067 classcodes = "C6140D (High level languages)",
21071 …ing; computer programming languages; construction; linguistic mechanisms; program; programming lan…
21094 …keywords = "computer programming languages; computer systems, digital; concurrency; discipline…
21113 classcodes = "C6140D (High level languages)",
21117 …keywords = "computer programming languages; data type conventions; data types; evaluation; pro…
21215 title = "Logic and Programming Languages",
21231 classcodes = "C4210 (Formal logic); C6140 (Programming languages)",
21235 …r metatheory; computer programming languages; decision methods; formal logic; methods of logic; pr…
21277 …classcodes = "C6140 (Programming languages); C6150C (Compilers, interpreters and other processor…
21281 …-- Structured Programming; computer programming languages; execution time; inline substitution; la…
21429 …keywords = "computer programming --- Structural Programming; computer programming languages; c…
21447 … reconsidered to single out a proper attitude and programming style for languages allowing direct …
21453 …keywords = "computer programming languages; control structure; languages; nondeterministic pro…
21472 …ich resemble PASCAL syntax diagrams, describe the syntax of programming languages more concisely a…
21478 …keywords = "automata theory; computer programming languages; finite automata; finite state mac…
21589 classcodes = "C6140D (High level languages)",
21591 …umentation; error conditions; FORTRAN; future; PL/I; procedure oriented languages; programming lan…
21724 … "C4210 (Formal logic); C4240 (Programming and algorithm theory); C6140D (High level languages)",
21726 keywords = "notation; programming languages; syntactic definitions",
21786 classcodes = "C6140D (High level languages); C7100 (Business and administration)",
21790 …culations; computer programming languages; data processing, business; language; organization; prob…
21975 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
21979 …omputer programming languages; conceptual framework; concurrent; nonprocedural programming languag…
22050 …keywords = "communicating; computer programming languages; constraints; formal languages; form…
22196 …to one. The origin and evolution of the hardware, operating system, and languages are described in…
22311 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
22447 …keywords = "computer programming languages; continuously operating programs.; correctness of p…
22918 …languages to provide controlled sharing. The extension permits expression of access constraints on…
22920 classcodes = "C6120 (File organisation); C6140D (High level languages)",
22924 …; computer programming languages; constraints; data access; data structures; language extension; m…
22979 title = "Incorporation of Units into Programming Languages",
22992 …classcodes = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150C (C…
22996 …onversion; computer programming languages; physical units; program compilers; programming language…
23015 …classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processor…
23019 … computer programming languages; coroutines; procedure invocation; procedure mechanism; program in…
23038 classcodes = "C1230 (Artificial intelligence); C6140D (High level languages)",
23042 …learning; learning; partial matching; predicate discovery.; programming languages; relational prop…
23199 …verage times; benchmarks; bottom up SLR(1) parser; computer programming languages; deterministic p…
23222 …keywords = "automatically; compilers; computer programming languages; detecting; error correct…
23514 classcodes = "C6140D (High level languages)",
23518 …keywords = "computer programming languages; context switching; environment; LISP; LISP 1.5; re…
23541 …keywords = "code generation; compiler; computer programming languages; correctness proving; he…
23627 …languages are growing ever more enormous, but not stronger. Inherent defects at the most basic lev…
23629 …annote = "Conventional programming languages are growing ever more enormous, but not stronge…
23630 classcodes = "C6140 (Programming languages)",
23635 …languages; CR categories: 4.20; functional style; grecommended91; Key words and phrases: functiona…
23729 …res; program; program structures; programming; Programming; programming languages; programming pri…
24035 classcodes = "C6140D (High level languages)",
24039 keywords = "computer programming languages; FORTRAN; FORTRAN 77; standard FORTRAN; standards",
24391 …keywords = "compilers; computer programming languages; debugging; grammars; processing; progra…
24410 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24432 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24436 …keywords = "buffers; classes; communication; computer programming languages; concurrency; conc…
24764 …type; algebraic axiomatizations; algebraic axioms; computer programming languages; correctness; da…
24781 … problem and also discuss a number of extensions to current programming languages that ease hierar…
24787 …languages; data abstraction; hierarchical design; hierarchical program; hierarchical structures; i…
24924 … computer operating systems --- Program Compilers; computer programming languages; control structu…
25006 classcodes = "C6120 (File organisation); C6140D (High level languages)",
25010 … "APL; computer programming languages; data structures; functions; nested arrays; primitive; pro…
25576 …languages is described. Based on primitive notions of module, message, and transaction key, the me…
25582 …keywords = "computer programming languages; distributed computing; distributed processing; hig…
25626 title = "Beyond Programming Languages",
25636 …languages enabled the programmer to escape from the intricacies of a machine's order code, higher …
25638 …General computer topics); C6110 (Systems analysis and programming); C6140D (High level languages)",
25640 …keywords = "future; higher level programming systems; Programming; programming languages; prog…
25780 keywords = "computer programs; languages; paradigms; programming; structural programming",
26208 … education and training); C6110 (Systems analysis and programming); C6140D (High level languages)",