Search results for "syntax"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Richard E. Pattis	Teaching EBNF first in CS 1.	SIGCSE	1994	DBLP DOI BibTeX RDF
15	George H. Roberts	From Recursive Ascent to Recursive Descent: Via Compiler Optimizations.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
15	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
15	Sang Kyun Cha, Gio Wiederhold	Kaleidoscope: A Cooperative Menu-Guided Query Interface.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	SQL
15	G. Sampath	Graphics and animation in expert systems for language tutoring.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
15	J. Philip Benkard	Implications of APL2 grammar.	APL	1987	DBLP DOI BibTeX RDF	APL
15	Mitchell Wand	A semantic prototyping system.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
15	Ravi Sethi	Control Flow Aspects of Semantics Directed Compiling (Summary).	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
15	Alfred V. Aho, Susan L. Graham	Tools For Automatic Compiler Generation (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
15	John Miles Smith, Diane C. P. Smith	Principles of Database Conceptual Design.	Data Base Design Techniques I	1978	DBLP DOI BibTeX RDF	CR Categories 3.65, 3.70, 4.22, 4.33, 4.34
15	Paul W. Abrahams	A final solution to the Dangling else of ALGOL 60 and related languages.	Commun. ACM	1966	DBLP DOI BibTeX RDF
15	Michael P. Barnett, Robert P. Futrelle	Syntactic analysis by digital computer.	Commun. ACM	1962	DBLP DOI BibTeX RDF
13	Lu Fan, William J. Buchanan, Christoph Thümmler, Owen Lo, Abou Sofyane Khedim, Omair Uthmani, Alistair Lawson, Derek Bell	DACAR Platform for eHealth Services Cloud.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Single Point of Contact, Information Sharing Policy Syntax, Data Buckets, Security, Confidentiality, Cloud, eHealth, Platform as a Service
13	Oleksandr Panchenko, Jan Karstens, Hasso Plattner, Alexander Zeier	Precise and Scalable Querying of Syntactical Source Code Patterns Using Sample Code Snippets and a Database.	ICPC	2011	DBLP DOI BibTeX RDF	source code query language, database, XPath, query-by-example, abstract syntax trees, source code search
13	Andreas Stefik, Susanna Siebert, Kim Slattery, Melissa Stefik	Toward Intuitive Programming Languages.	ICPC	2011	DBLP DOI BibTeX RDF	empirical studies, programming languages, syntax, intuitiveness
13	Andrei Popescu 0001, Elsa L. Gunter, Christopher J. Osborn	Strong Normalization for System F by HOAS on Top of FOAS.	LICS	2010	DBLP DOI BibTeX RDF	Higher-Order Abstract Syntax, Isabelle/HOL, System F
13	Francisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, Manuel Rubio-Sánchez, J. Ángel Velázquez-Iturbide	Student-centered design of a parser visualization tool.	ITiCSE	2010	DBLP DOI BibTeX RDF	visualization, syntax trees
13	Bryan Temprado-Battad, Antonio Sarasa Cabezuelo, José Luis Sierra	Modular Specifications of XML Processing Tasks with Attribute Grammars Defined on Multiple Syntactic Views.	DEXA Workshops	2010	DBLP DOI BibTeX RDF	GLR parsing method, Attribute Grammar, XML Processing, Syntax-directed Translation
13	Oliver Hellwig	Extracting Dependency Trees from Sanskrit Texts.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	Sanskrit syntax, Sanskrit word order, dependency tree
13	Peter M. Scharf	Levels in Panini's Ast hadhya yi.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	generative grammar, Panini, Astadhyayi, phonology, morphophonemic, syntacticosemantic, computational implementation, semantics, morphology, syntax, levels
13	Giulia Venturi, Simonetta Montemagni, Simone Marchi, Yutaka Sasaki, Paul Thompson 0002, John McNaught, Sophia Ananiadou	Bootstrapping a Verb Lexicon for Biomedical Information Extraction.	CICLing	2009	DBLP DOI BibTeX RDF	domain-specific lexical resources, syntax-semantics linking, Biological Language Processing, Information Extraction, lexical acquisition
13	Andrew Cyrus Smith	Simple tangible language elements for young children.	IDC	2009	DBLP DOI BibTeX RDF	turtle talk, children, programming, tangible, syntax
13	Antonio Sarasa Cabezuelo, Bryan Temprado-Battad, José Luis Sierra, Alfredo Fernández-Valmayor	XML Language-Oriented Processing with XLOP.	AINA Workshops	2009	DBLP DOI BibTeX RDF	XLOP, CUP, Attribute Grammar, XML Processing, Syntax-directed Translation
13	Fatima AlShamsi, Ashraf Elnagar	JLearn-DG: Java learning system using dependence graphs.	iiWAS	2009	DBLP DOI BibTeX RDF	Java, learning system, abstract syntax tree, teaching programming, system dependence graph
13	Yalamanchi Viswanatha Naidu, Anil Kumar Singh, Dipti Misra Sharma, Akshar Bharati	Improving the Performance of the Link Parser.	IALP	2009	DBLP DOI BibTeX RDF	Natural Language Processing, Parsing, Syntax
13	Andrés Vignaga	Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment.	SCCC	2009	DBLP DOI BibTeX RDF	Global Model Management, Textual Concrete Syntax, Model Transformation, Type System, Model-Driven Engineering
13	Miltiadis Kokkonidis	First-Order Glue.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Glue, Syntax-semantics interface, First-Order Linear Logic, Typing systems, Compositional semantics
13	Laurence Tratt	Domain specific language implementation via compile-time meta-programming.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Syntax extension, compile-time meta-programming, domain specific languages
13	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
13	Felicia Hurewitz, Katharine Beals	A role for grammar in autism CAIs.	IDC	2008	DBLP DOI BibTeX RDF	language impairment, autism, syntax, educational software, child development
13	Mayank Keshariya, Ray Hunt	A new architecture for performance-based policy management in heterogeneous wireless networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	ABC (always best connected), PBM (policy-based management), RBAC (role-based access control), mapping translators, policy semantic and syntax analysis, vertical handoff
13	Louis-Julien Guillemette, Stefan Monnier	A type-preserving compiler in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de Bruijn
13	Zhiqiang Lin, Xiangyu Zhang 0001	Deriving input syntactic structure from execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	bottom-up grammar, input lineage, top-down grammar, reverse engineering, control dependence, syntax tree
13	Humberto J. Abdelnur, Radu State, Olivier Festor	Advanced Network Fingerprinting.	RAID	2008	DBLP DOI BibTeX RDF	Passive Fingerprinting, Structural syntax inference, Feature extraction
13	Jonathan M. Fishbein, Chris Eliasmith	Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification.	ECIR	2008	DBLP DOI BibTeX RDF	Holographic Reduced Representations, Random Indexing, Semantics, Text Classification, Syntax, Vector Space Model, Part of Speech Tagging
13	Vivian F. López Batista, Alberto Sánchez 0006, Luis Alonso 0003, María N. Moreno García	A Tool to Create Grammar Based Systems.	DCAI	2008	DBLP DOI BibTeX RDF	language-based tools, grammar-based systems, syntax, context-free grammars, parser, compiler generation, formal language theory
13	Rémi Bove	A Tagged Corpus-Based Study for Repeats and Self-repairs Detection in French Transcribed Speech.	TSD	2008	DBLP DOI BibTeX RDF	Disfluencies detection, spoken language syntax, French transcribed speech, rule-based pattern matching, word N-grams model, tagging
13	Cláudia Freitas, Paulo Rocha 0001, Eckhard Bick	Floresta Sintá(c)tica: Bigger, Thicker and Easier.	PROPOR	2008	DBLP DOI BibTeX RDF	Portuguese language, syntax, corpus, Treebank
13	Jean-Yves Béziau	Sentence, proposition and identity.	Synth.	2007	DBLP DOI BibTeX RDF	Language, Identity, Syntax, Congruence, Formula, Sentence, Proposition
13	Kung-Kiu Lau, Zheng Wang 0015	Software Component Models.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	software component models, component life-cycle, component syntax, component semantics, software components, component composition
13	Sabrina Duda, Michael Schiessl, Gerald Wildgruber, Christian Rohrer, Paul Fu	Linguistic Analysis of Websites: A New Method of Analysing Language, the Poor Cousin of Usability.	HCI (11)	2007	DBLP DOI BibTeX RDF	Usable Language, Expert Analysis, Usability, Semantics, User Experience, Syntax, Semiotics, User Test, Linguistics, Pragmatics, Web Usability, Linguistic Analysis
13	Patricia Jablonski	Managing the copy-and-paste programming practice in modern IDEs.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code management, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree
13	Mads Torgersen	Querying in C#: how language integrated query (LINQ) works.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
13	Nina Suszczanska, Przemyslaw Szmal, Krzysztof Siminski	The Deep Parser for Polish.	LTC	2007	DBLP DOI BibTeX RDF	SG-model of syntax, Syntactical Groups Systems formalism, SGGP grammar, deep parser, NLP, Polish
13	Andrew M. Pitts, Mark R. Shinwell	Generative unbinding of names.	POPL	2007	DBLP DOI BibTeX RDF	alpha-conversion, meta-programming, abstract syntax, binders
13	Boumediene Belkhouche, Sonal Dekhane	Analysis goal expression language.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	GEL abstract syntax, GEL informal semantics, analysis of OODs, goal expression language, object-oriented analysis
13	Peter Scupelli, Sara B. Kiesler, Susan R. Fussell	Using isovist views to study placement of large displays in natural settings.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	isovist, large shared display, space syntax, privacy, collaborative work, physical environment
13	Patricia Jablonski, Daqing Hou	CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE.	ETX	2007	DBLP DOI BibTeX RDF	consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment
13	Makoto Hamana	Higher-order semantic labelling for inductive datatype systems.	PPDP	2007	DBLP DOI BibTeX RDF	categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics
13	Ryen W. White, Dan Morris 0001	Investigating the querying and browsing behavior of advanced search engine users.	SIGIR	2007	DBLP DOI BibTeX RDF	advanced search features, query syntax, query formulation, expert searching
13	Christopher Quirk, Arul Menezes	Dependency treelet translation: the convergence of statistical and example-based machine-translation?	Mach. Transl.	2006	DBLP DOI BibTeX RDF	EBMT, Dependency analysis, Syntax, SMT, Statistical machine translation, Example-based machine translation
13	Mads Torgersen	Language integrated query: unified querying across data sources and programming languages.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
13	Amir Shahab Shahabi, Mohammad Reza Kangavari	A Fuzzy Approach for Persian Text Segmentation Based on Semantic Similarity of Sentences.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Fuzzy Similarity Relation, Fuzzy Proximity Relation, Lemma, Fuzzy Relations Composition, Anti-Redundancy, Syntax Parser, Meta Variable, Meta Rule, Paradigmatic, Tokenizer, Multi-Document Summarizer, Lemmatizer
13	Björn Bringert, Aarne Ranta	A pattern for almost compositional functions.	ICFP	2006	DBLP DOI BibTeX RDF	dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern
13	Thomas Zimmermann 0001	Fine-grained processing of CVS archives with APFEL.	ETX	2006	DBLP DOI BibTeX RDF	Eclipse, changes, tokens, CVS, abstract syntax trees
13	Daniel M. Berry, Erik Kamsties	The Syntactically Dangerous All and Plural in Specifications.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	semantics, natural language, requirements specification, syntax
13	David Langan, Leo F. Denton, Dawn McKinney	Affective objectives in a programming languages course.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	affective objectives, parameter passing, syntax diagrams, programming languages, value, memory models, internalization, BNF
13	Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke	Reengineering C++ Component Models via Automatic Program Transformation.	WCRE	2005	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
13	Kai Chen 0010, Janos Sztipanovits, Sandeep Neema	Toward a semantic anchoring infrastructure for domain-specific modeling languages.	EMSOFT	2005	DBLP DOI BibTeX RDF	semantic anchoring, abstract syntax, model-integrated computing, domain-specific modeling language
13	Bin Jiang 0004, Christophe Claramunt	A Structural Approach to the Model Generalization of an Urban Street Network.	GeoInformatica	2004	DBLP DOI BibTeX RDF	space syntax, structural analysis, graph modeling, model generalization, urban modeling
13	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
13	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Program transformations for re-engineering C++ components [OOPSLA/GPCE].	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
13	Morten Rhiger	A foundation for embedded languages.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
13	Dale Miller 0001, Alwen Fernanto Tiu	A Proof Theory for Generic Judgments: An extended abstract.	LICS	2003	DBLP DOI BibTeX RDF	reasoning about operational semantics, generic judgments, higher-order abstract syntax, proof search
13	Michael Norrish	Mechanising Hankin and Barendregt using the Gordon-Melham axioms.	MERLIN	2003	DBLP DOI BibTeX RDF	higher order abstract syntax, interactive theorem-proving
13	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
13	Maria Hristova, Ananya Misra, Megan Rutter, Rebecca Mercuri	Identifying and correcting Java programming errors for introductory computer science students.	SIGCSE	2003	DBLP DOI BibTeX RDF	Java, semantics, programming, CS1, logic, syntax
13	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
13	Aleksandar Nanevski	Meta-programming with names and necessity.	ICFP	2002	DBLP DOI BibTeX RDF	modal lambda-calculus, higher-order abstract syntax
13	Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li	Z User Studio: An Integrated Support Tool for Z Specifications.	APSEC	2001	DBLP DOI BibTeX RDF	Z User Studio, Syntax parser, Type checker, Test cases generator, Z specifications
13	Thierry Despeyroux, Brigitte Trousse	Web sites and semantics.	Hypertext	2001	DBLP DOI BibTeX RDF	data mining, software engineering, semantics, Web, hypertext, syntax, data representation
13	Guido Kaufmann, Horst Bunke	Automated Reading of Cheque Amounts.	Pattern Anal. Appl.	2000	DBLP DOI BibTeX RDF	Reading systems, Post-processing, Word recognition, Cheque processing, Syntax-directed translation
13	James Cheney	Statistical Models for Term Compression.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	term syntax tree compression statistical model
13	Joseph R. Wisniewski	Transitioning an ASIS application: version 1 to Ada95 2.0.	SIGAda	1999	DBLP DOI BibTeX RDF	ASISWG, Traverse_Element, semantics, context, syntax, ASIS, element
13	Martin Erwig	Visual Graphs.	VL	1999	DBLP DOI BibTeX RDF	Visualization, Semantics, Graph, Abstract Syntax
13	Nestor Garay-Vitoria, Julio Abascal	Intelligent Word-Prediction to Enhance Text Input Rate (a syntactic analysis-based word-prediction aid for people with severe motor and speech disability).	IUI	1997	DBLP DOI BibTeX RDF	chart technique, input speed enhancement, adaptation, motor disabilities, word-prediction, syntax analysis
13	Bonnie J. Dorr, Mari Broman Olsen	Multilingual generation: The role of telicity in lexical choice and syntactic realization.	Mach. Transl.	1996	DBLP DOI BibTeX RDF	syntax-semantics interface, syntactic alternations, semantic classes, (a)telicity, multilingual generation, lexical conceptual structure, interlingua
13	William G. Griswold	Comments on "Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
13	Richard C. Waters	Cliché-Based Program Editors.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	abstract syntax tree schemas, computer-aided software engineering (CASE), plan diagrams, reuse
13	Graham W. Ewart, Marijana Tomic	Applying program understanding technology to IBM product documentation.	CASCON	1994	DBLP BibTeX RDF	bookmaster documentation, reverse engineering, refine, program understanding, abstract syntax tree, information structure, rigi
13	Changwen Yang, Douglas D. O'Shaughnessy	Development of the INRS ATIS system.	IUI	1993	DBLP DOI BibTeX RDF	semantics, natural language processing, SQL, syntax, pragmatics, spoken language system
13	Robert A. Ballance, Susan L. Graham, Michael L. Van de Vanter	The Pan Language-Based Editing System.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	Ladle, coherent user interfaces, colander, contextual constraint, extension facilities, grammatical abstraction, interactive programming environment, logical constraint grammar, reason maintenance, syntax-recognizing editor, tolerance for errors and anomalies, logic programming, Pan
13	Samuel C. Chamberlain, Paul D. Amer	Broadcast Channels in Estelle.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism
13	N. Th. Verbrugge	Duplicates and Translation of Nested SQL Queries into XRA.	PRISMA Workshop	1990	DBLP DOI BibTeX RDF	XRA, nested query evaluation, nested-iteration method, tuple identifiers, syntax-directed SQL translation, SQL, Duplicates
13	Manfred Ruschitzka, John L. Clevenger	Heterogeneous Data Translations Based on Environment Grammars.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	environment grammars, proprietary data formats, syntax-driven data translation, design Methodology, parsing, relational database management systems, heterogenous computer systems
13	Stefano Ceri, Georg Gottlob, Letizia Tanca	What you Always Wanted to Know About Datalog (And Never Dared to Ask).	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	optimisation methods, semantics, logic programming, logic programming, relational database, relational databases, query languages, Datalog, syntax, database query language
13	Xiuming Huang	Semantic analysis in XTRA, an English - Chinese machine translation system.	Mach. Transl.	1988	DBLP DOI BibTeX RDF	selection restrictions, Preference Semantics, integration of syntax and semantics, relaxation of constraints, robustness, Machine translation, Chinese, lexical ambiguity
13	Patrick M. Lenders	A Generalized Message-Passing Mechanism for Communicating Sequential Processes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives
13	Pyda Srisuresh, Michael J. Eager	A portable syntactic error recovery scheme for LR(1) parsers.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF	LR(1), parsar generators, compilers, semantics, error correction, portability, grammars, syntax, error recovery
13	Gregor Engels, Rupert Gall, Manfred Nagl, Wilhelm Schäfer	Software specification using graph grammars.	Computing	1983	DBLP DOI BibTeX RDF	syntax, graph grammars, software specification, Software development environments
13	Martin De Prycker	On the Development of a Measurement System for High Level Language Program Statistics.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	Dynamic statistics, high level language implementation, static statistics, performance, syntax, measurement system
13	Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker	Systematically derived instruction sets for high-level language support.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design
13	Thomas J. Pennello, Frank DeRemer	A Forward Move Algorithm for LR Error Recovery.	POPL	1978	DBLP DOI BibTeX RDF	LALR (k), LR (k), SLR (k), syntax errors, parsing, error recovery
13	Peter Wegner	Programming Languages - The First 25 Years.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	verification, compilers, semantics, Abstraction, modularity, Fortran, programming languages, Lisp, Algol, syntax, assemblers, Cobol, structures programming, axioms
13	Aravind K. Joshi, Ralph M. Weischedel	Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Artificial intelligence, semantics, inferences, computational linguistics, syntax, linguistics, natural language understanding, entailments, presuppositions
13	J. A. Ramirez, N. Adam Rin, Noah S. Prywes	Automatic Generation of Data Conversion Programs Using A Data Description Language.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	Problem oriented languages, Compilers, Generators, Utility, Data conversion, Data manipulation language, Data description language, Syntax analysis
13	Robert D. Tennent	Mathematical Semantics of Snobol 4.	POPL	1973	DBLP DOI BibTeX RDF	SNOBOL4, mathematical semantics, store, pattern matching, continuation, environment, abstract syntax
13	James R. Bell 0001	A new method for determining linear precedence functions for precedence grammars.	Commun. ACM	1969	DBLP DOI BibTeX RDF	Boolean matrices, context-free parsing, precedence functions, precedence grammar, syntax, transition matrix
13	Stanley R. Petrick, Paul M. Postal, Peter S. Rosenbaum	On coordination reduction and sentence analysis.	Commun. ACM	1969	DBLP DOI BibTeX RDF	coordination reduction, generative grammar, grammar testing program, rule testing, sentence coordination, transformational theory, coordination, natural languages, syntax, syntactic analysis
13	A. J. Korenjak	A practical method for constructing LR(k) processors.	Commun. ACM	1969	DBLP DOI BibTeX RDF	LR(k) grammar, deterministic language, language processor, syntax-directed compiler, ALGOL, ALGOL, parser, context-free language, syntactic analysis