|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4314 occurrences of 2015 keywords
|
|
|
Results
Found 6542 publication records. Showing 6542 according to the selection in the facets
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 |
Displaying result #501 - #600 of 6542 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|