|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 300-303, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | George H. Roberts |
From Recursive Ascent to Recursive Descent: Via Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(4), pp. 83-89, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Charles Consel, Olivier Danvy |
From Interpreting to Compiling Binding Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 88-105, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
partial evaluation, actions, combinators, self-application |
15 | Sang Kyun Cha, Gio Wiederhold |
Kaleidoscope: A Cooperative Menu-Guided Query Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 387, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SQL |
15 | G. Sampath |
Graphics and animation in expert systems for language tutoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 695, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | J. Philip Benkard |
Implications of APL2 grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL: APL in transition, APL 1987, Dallas, TX, USA, May 10-14, 1987., pp. 329-336, 1987, ACM, 0-89791-226-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
APL |
15 | Mitchell Wand |
A semantic prototyping system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp. 213-221, 1984, ACM, 0-89791-139-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Ravi Sethi |
Control Flow Aspects of Semantics Directed Compiling (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 245-260, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Alfred V. Aho, Susan L. Graham |
Tools For Automatic Compiler Generation (Panel Discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 476-477, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
15 | John Miles Smith, Diane C. P. Smith |
Principles of Database Conceptual Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base Design Techniques I ![In: Data Base Design Techniques I: Requirements and Logical Structures, NYU Symposium, New York, USA, May 1978, Proceedings, pp. 114-146, 1978, Springer, 3-540-11214-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(9), pp. 679-682, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
15 | Michael P. Barnett, Robert P. Futrelle |
Syntactic analysis by digital computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 5(10), pp. 515-526, 1962. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CLOUD ![In: IEEE International Conference on Cloud Computing, CLOUD 2011, Washington, DC, USA, 4-9 July, 2011, pp. 219-226, 2011, IEEE Computer Society, 978-1-4577-0836-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 19th IEEE International Conference on Program Comprehension, ICPC 2011, Kingston, ON, Canada, June 22-24, 2011, pp. 41-50, 2011, IEEE Computer Society, 978-1-61284-308-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 19th IEEE International Conference on Program Comprehension, ICPC 2011, Kingston, ON, Canada, June 22-24, 2011, pp. 213-214, 2011, IEEE Computer Society, 978-1-61284-308-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 31-40, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 326, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Database and Expert Systems Applications, DEXA, International Workshops, Bilbao, Spain, August 30 - September 3, 2010, pp. 337-341, 2010, IEEE Computer Society, 978-0-7695-4174-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
GLR parsing method, Attribute Grammar, XML Processing, Syntax-directed Translation |
13 | Oliver Hellwig |
Extracting Dependency Trees from Sanskrit Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings, pp. 106-115, 2009, Springer, 978-3-540-93884-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sanskrit syntax, Sanskrit word order, dependency tree |
13 | Peter M. Scharf |
Levels in Panini's Ast hadhya yi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings, pp. 66-77, 2009, Springer, 978-3-540-93884-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings, pp. 137-148, 2009, Springer, 978-3-642-00381-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 8th International Conference on Interaction Design and Children, IDC 2009, Como, Italy, June 3-5, 2009, pp. 288-289, 2009, ACM, 978-1-60558-395-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009, pp. 322-327, 2009, IEEE Computer Society, 978-0-7695-3639-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 633-637, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IALP ![In: 2009 International Conference on Asian Language Processing, IALP 2009, Singapore, December 7-9, 2009, pp. 220-225, 2009, IEEE Computer Society, 978-0-7695-3904-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009, pp. 115-122, 2009, IEEE Computer Society, 978-0-7695-4137-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Global Model Management, Textual Concrete Syntax, Model Transformation, Type System, Model-Driven Engineering |
13 | Miltiadis Kokkonidis |
First-Order Glue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 43-68, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(6), pp. 31:1-31:40, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 33-44, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, Chicago, Illinois, USA, June 11-13, 2008, pp. 73-76, 2008, ACM, 978-1-59593-994-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 5th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2008, Yilan, Taiwan, September 10-12, 2008, pp. 97, 2008, ACM, 978-1-60558-089-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 75-86, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 83-93, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings, pp. 372-389, 2008, Springer, 978-3-540-87402-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval , 30th European Conference on IR Research, ECIR 2008, Glasgow, UK, March 30-April 3, 2008. Proceedings, pp. 514-521, 2008, Springer, 978-3-540-78645-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI ![In: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, 22th-24th October 2008, pp. 338-346, 2008, Springer, 978-3-540-85862-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings, pp. 269-276, 2008, Springer, 978-3-540-87390-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Computational Processing of the Portuguese Language, 8th International Conference, PROPOR 2008, Aveiro, Portugal, September 8-10, 2008, Proceedings, pp. 216-219, 2008, Springer, 978-3-540-85979-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Portuguese language, syntax, corpus, Treebank |
13 | Jean-Yves Béziau |
Sentence, proposition and identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(3), pp. 371-382, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Language, Identity, Syntax, Congruence, Formula, Sentence, Proposition |
13 | Kung-Kiu Lau, Zheng Wang 0015 |
Software Component Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(10), pp. 709-724, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 48-56, 2007, Springer, 978-3-540-73288-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 933-934, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 852-853, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LTC ![In: Human Language Technology. Challenges of the Information Society, Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers, pp. 205-217, 2007, Springer, 978-3-642-04234-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 85-95, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
alpha-conversion, meta-programming, abstract syntax, binders |
13 | Boumediene Belkhouche, Sonal Dekhane |
Analysis goal expression language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007, pp. 53-58, 2007, ACM, 978-1-59593-629-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 2645-2650, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada, October 21, 2007, pp. 16-20, 2007, ACM, 978-1-60558-015-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 97-108, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 255-262, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 20(1), pp. 43-65, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 736-737, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia, pp. 411-420, 2006, Springer, 978-0-387-44639-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 216-226, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, ETX 2006, Portland, Oregon, USA, October 22-23, 2006, pp. 16-20, 2006, ACM, 1-59593-621-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(1), pp. 55-57, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 319-323, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 13-22, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 35-43, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 8(2), pp. 157-171, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 51-55, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 25-26, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(3), pp. 291-315, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 118-127, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2003, Reno, Nevada, USA, February 19-23, 2003, pp. 153-156, 2003, ACM, 1-58113-648-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, semantics, programming, CS1, logic, syntax |
13 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 195-206, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 206-217, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 437-444, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2001, Proceedings of the 12th ACM Conference on Hypertext and Hypermedia, August 14-18, 2001, University of Aarhus, Århus, Denmark, pp. 239-240, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 3(2), pp. 132-141, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Reading systems, Post-processing, Word recognition, Cheque processing, Syntax-directed translation |
13 | James Cheney |
Statistical Models for Term Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 2000, Snowbird, Utah, USA, March 28-30, 2000., pp. 550, 2000, IEEE Computer Society, 0-7695-0592-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 53-65, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ASISWG, Traverse_Element, semantics, context, syntax, ASIS, element |
13 | Martin Erwig |
Visual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 122-129, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 2nd International Conference on Intelligent User Interfaces, IUI 1997, Orlando, Florida, USA, January 6-9, 1997, pp. 241-244, 1997, ACM, 0-89791-839-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 11(1-3), pp. 37-74, 1996. The full citation details ...](Pics/full.jpeg) |
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''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(3), pp. 218-219, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(1), pp. 102-150, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 15, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 1st International Workshop on Intelligent User Interfaces, IUI 1993, Orlando, Florida, USA, January 4-7, 1993, pp. 133-140, 1993, ACM, 0-89791-556-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(1), pp. 95-127, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 423-436, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRISMA Workshop ![In: Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings, pp. 354-364, 1990, Springer, 3-540-54132-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(10), pp. 1236-1251, 1989. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 1(1), pp. 146-166, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 3(2), pp. 101-120, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 646-651, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 390-399, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(4), pp. 317-346, 1983. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(9), pp. 883-891, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982, pp. 73-84, 1982, ACM, 0-89791-071-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 241-254, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(12), pp. 1207-1225, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(4), pp. 374-389, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Workshop, Vol. 1 ![In: Proceedings of 1974 ACM-SIGMOD Workshop on Data Description, Access and Control, Ann Arbor, Michigan, USA, May 1-3, 1974, 2 Volumes, pp. 207-225, 1974, ACM, 978-1-4503-7415-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 95-107, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(10), pp. 567-569, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(4), pp. 223-233, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 613-623, 1969. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|