Lines Matching refs:Languages
67 %%% Transactions on Programming Languages and
1185 title = "A Note on the Complement of Inherently Ambiguous Context-Free Languages",
7363 title = "Programming Systems and Languages (1965--1975)",
7383 title = "Programming Languages: History and Future",
8704 title = "Dynamic Partitioning for Array Languages",
8750 title = "Method for Incrementally Compiling Languages with Nested Statement Structure",
9015 title = "Protection in Programming Languages",
9293 title = "The Use of Grammatical Inference for Designing Programming Languages",
13276 title = "Order-$n$ Correction for Regular Languages",
13392 title = "Two Languages for Estimating Program Efficiency",
14259 title = "The Equivalence of Reducing Transition Languages and Deterministic Languages",
17389 title = "Programming Languages, Natural Languages, and Mathematics",
17402 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17452 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
17479 …note = "Papers from the Second ACM Symposium on Principles of Programming Languages (Palo …
17528 …note = "Papers from the Second {ACM} Symposium on Principles of Programming Languages (Pal…
18792 title = "The Denotational Semantics of Programming Languages",
18812 …keywords = "applicative; automata theory --- Context Free Languages; computer metatheory; comp…
19430 title = "Roster of Programming Languages for 1974--75",
19515 …keywords = "automata theory --- Context Free Languages; biomedical engineering --- Computer Ai…
20647 title = "Some Ideas on Data Types in High-Level Languages",
20664 …keywords = "computer meta theory --- Algorithmic Languages; computer programming languages; da…
20978 …keywords = "computer metatheory --- Algorithmic Languages; computer programming --- Reliabilit…
21215 title = "Logic and Programming Languages",
22979 title = "Incorporation of Units into Programming Languages",
25626 title = "Beyond Programming Languages",