|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31875 occurrences of 7313 keywords
|
|
|
Results
Found 62938 publication records. Showing 62938 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Martin Erwig, Bernd Meyer 0001 |
Heterogeneous Visual Languages-Integrating Visual and Textual Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 318-325, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages |
79 | D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran |
Learning of Regular Bi-omega Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 283-292, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
local bi-$omega$ languages, recognizable bi-$omega$ languages, rational bi-adherence languages, B$ddot{u}$chi local bi-$omega$ languages, regular bi-$omega$ languages, Learning algorithm |
60 | Marjan Mernik, Viljem Zumer |
Domain-Specific Languages for Software Engineering - Minitrack Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
53 | WoonKiong Tan |
A semantic model of a small typed functional language using Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 249-257, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language |
52 | Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola |
Parsing Nonlinear Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(9), pp. 720-739, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
nonlinear language parsing, diagrammatic approach, computer-aided software development toolkits, VLG system, Visual Language Generator, icon-oriented visual languages, syntactical model, nonlinear languages, relation grammars, general parsing algorithm, multidimensional languages, user interfaces, graphical user interfaces, software tools, programming environments, visual programming, visual languages, visual language, parsing, grammars, diagrams, diagrams, graph grammars, rewriting rules, graphical languages, charts, visual programming environments, visual query systems |
51 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(1), pp. 59-65, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
50 | Susan M. Üsküdarli, T. B. Dinesh |
Towards a Visual Programming Environment Generator for Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 234-241, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification |
49 | Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga |
Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 195-202, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Lindenmayer fuzzy languages, Lindenmayer languages, /spl alpha/-cut, /spl alpha/-driven, fuzzy languages, parallel rewriting, non-monotonic development, formal languages, closure |
47 | Andrew W. Appel |
Intensional Equality ;=) for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(2), pp. 55-57, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Peter Schäuble, Beat Wüthrich |
On the Expressive Power of Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 12(1), pp. 69-91, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog |
45 | Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi |
Informal and Formal Requirements Specification Languages: Bridging the Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(5), pp. 454-466, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method |
44 | Christine E. Wania, Michael E. Atwood |
Pattern languages in the wild: exploring pattern languages in the laboratory and in the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESRIST ![In: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2009, Philadelphia, Pennsylvania, USA, May 7-8, 2009, 2009, ACM, 978-1-60558-408-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design patterns, pattern languages, interaction patterns |
44 | Rajeev Alur, P. Madhusudan |
Visibly pushdown languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 202-211, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages |
42 | Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens |
The Regular Real-Time Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 580-591, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau |
Computation with Absolutely No Space Overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 325-336, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
space overhead, space reuse, overhead-free computation, deterministic linear languages, metalinear languages, context-free languages, linear space, context-sensitive languages |
41 | Jim Hugunin |
Bringing dynamic languages to .NET with the DLR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada, pp. 101, 2007, ACM, 978-1-59593-868-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CLR, python, NET, ruby, dynamic languages |
40 | Jeremy G. Siek |
General purpose languages should be metalanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 3-4, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, reflection, metaprogramming, multi-stage programming |
40 | François Bry, Tim Furche, Klara A. Weiand |
Web Queries: From a Web of Data to a Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2009, 10th International Conference, Poznan, Poland, October 5-7, 2009. Proceedings, pp. 9-10, 2009, Springer, 978-3-642-04408-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
based query languages, we give a summary of what we perceive as the main contributions of research and development on Web query languages in the past decade, This summary focuses specifically on what sets Web query languages apart from their predecessors for databases |
39 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FCL |
39 | Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai |
Classifications of Dense Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(3), pp. 173-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Primitive words, Dense languages, n-dense languages, Strict n-dense languages |
38 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 579-590, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms |
38 | Sanjay Jain 0001, Efim B. Kinber |
Learning Multiple Languages in Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings, pp. 256-268, 2005, Springer, 3-540-29242-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Ulrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi |
High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 563-570, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka |
A Kleene Theorem for Infinite Trace Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 254-266, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | José M. Sempere |
Learning Context-Sensitive Languages from Linear Structural Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 175-186, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Watson-Crick finite automata, linear languages, k-testable languages, identifiability from positive structural data, context-sensitive languages |
36 | Donald A. Varvel, Leonard D. Shapiro |
The Computational Completeness of Extended Database Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 632-638, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power |
36 | Matthias Felleisen, Daniel P. Friedman |
A Reduction Semantics for Imperative Higher-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 206-223, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
36 | Débora C. Muchaluat-Saade, Luiz Fernando Gomes Soares |
Towards the convergence between hypermedia authoring languages and architecture description languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 48-57, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hypermedia authoring languages, structural meta-model, components, ADL, architecture description languages, connectors |
36 | Masud Ahmad Malik |
Evolution of the High Level Programming Languages: A Critical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(12), pp. 72-80, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001 |
Regex and Extended Regex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, pp. 77-84, 2002, Springer, 3-540-40391-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
regex, extended regex, programming languages, formal languages, Regular expressions |
35 | Amaury Habrard, François Denis, Yann Esposito |
Using Pseudo-stochastic Rational Languages in Probabilistic Grammatical Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 112-124, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pseudo-stochastic rational languages, multiplicity automata, probabilistic grammatical inference |
35 | Marcella Anselmo, Maria Madonia |
Deterministic Two-Dimensional Languages over One-Letter Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 147-159, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Determinism, Automata and Formal Languages, Two-dimensional languages |
34 | Sebastian Bab, Arfst Nickelsen |
One Query Reducibilities Between Partial Information Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 404-415, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Olaf Chitil |
Common Subexpressions Are Uncommon in Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementation of Functional Languages ![In: Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, pp. 53-71, 1997, Springer, 3-540-64849-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Giorgio Ghelli |
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 311-340, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Cristina Tîrnauca, Timo Knuutila |
Polynomial Time Algorithms for Learning k -Reversible Languages and Pattern Languages with Correction Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 272-284, 2007, Springer, 978-3-540-75224-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
k-reversible languages, pattern languages, polynomial algorithms, Correction queries |
33 | Dan R. Ghica, Guy McCusker |
Reasoning about Idealized ALGOL Using Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 103-115, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ALGOL-like languages, regular languages, Game semantics |
33 | Volker Haarslev |
Formal Semantics of Visual Languages using Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 156-163, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects |
33 | Joaquim A. Jorge, Ephraim P. Glinert |
Online Parsing of Visual Languages Using Adjacency Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 250-257, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
online parsing, diagram-like visual languages, adjacency grammars, visual computing environments, incremental parsing algorithm, overlapping elements, logical constraints, linear run-times, large visual sentences, visual languages, diagrams, programming theory, graph grammars, spatial constraints, online operation, top-down methods, bottom-up methods |
33 | Egidio Astesiano, Maura Cerioli |
Multiparadigm Specification Languages: A First Attempt at Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 168-185, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Rix Groenboom, Gerard R. Renardel de Lavalette |
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 340-355, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Jean E. Sammet |
Application of extensible languages to specialized application languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Symposium on Extensible Languages ![In: Proceedings of the International Symposium on Extensible Languages, Grenoble, France, September 6-8, 1971, pp. 141-143, 1971, ACM, 978-1-4503-7372-2. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
32 | Wissam Khalil |
More expressive extensions of TQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 607-612, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraints on unbound-arity trees, context-free tree languages, synchronized context-free tree languages, synchronized regular tree languages, the TQL logic |
32 | Adrian Pop, Peter Fritzson |
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings, pp. 211-229, 2006, Springer, 3-540-40927-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Eric C. Cooper |
On the Expressive Power of Query Languages for Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 361-365, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
32 | Egor Dolzhenko, Natasa Jonoska |
On Complexity of Two Dimensional Languages Generated by Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 181-190, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite State Automata with Output, Local Languages, Entropy, Transducers, Picture Languages |
32 | Manfred Droste, Guo-Qiang Zhang 0001 |
Rational Transformations of Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 555-566, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
rational languages, recognizable languages, weighted finite automata, Formal power series |
32 | Joost Engelfriet, Jan Joris Vereijken |
Context-Free Graph Grammars and Concatenation of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(10), pp. 773-803, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Alexandra Poulovassilis, Stefan G. Hild |
Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(2), pp. 316-333, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Database browsing, database update languages, graph-based models and languages, hypernodes, visual database languages, database query languages |
32 | Gary S. H. Tan, Yong Meng Teo |
Experiences in simulating a declarative multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 95-104, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network |
32 | Roland Hausser |
Left-associative grammar: The algebraic definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 3(2), pp. 121-155, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Generative Power, Recursive Languages, Recursive-Transition Networks, Augmented-Transition Networks, Type-Transparency, Input-Output Equivalence, Generators, Finite-State Automata, Regular Languages, Parsers, Context-Free Languages, Context-Sensitive Languages |
32 | Craig Anslow, Shane Markstrum, Emerson R. Murphy-Hill |
Evaluation and usability of programming languages and tools (plateau). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 1053-1054, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluation, usability, programming languages, tools |
32 | Peter Bunus, Peter Fritzson |
A Debugging Scheme for Declarative Equation Based Modeling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 280-298, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica |
31 | T. Kalyani, V. Rajkumar Dare, D. Gnanaraj Thomas, T. Robinson 0001 |
Iso-array Acceptors and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 327-339, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
iso-picture languages, recognizable iso-picture languages, two-dimensional on-line tessellation automaton, Learning |
31 | Adrian-Horia Dediu, Gabriela Martín |
Trees as Contexts in Formal Language Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinTAL ![In: Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings, pp. 738-747, 2006, Springer, 3-540-37334-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Contextual grammars, bracketed languages, structured contextual grammars, tree languages |
31 | Charles Welty, David W. Stemple |
Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 6(4), pp. 626-649, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
procedural and nonprocedural languages, human factors, query languages, database systems |
31 | Luc Bougé |
On the Semantics of Languages for Massively Parallel SIMD Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 166-183, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence |
30 | Ondrej Klíma 0001, Libor Polák |
Polynomial Operators on Classes of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 260-277, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
positive varieties of languages, polynomial operators |
30 | Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa |
Variable handling in time-based XML declarative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1821-1828, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
variable handling, middleware, digital TV, declarative languages, NCL |
30 | Rémi Eyraud, Colin de la Higuera, Jean-Christophe Janodet |
Representing Languages by Learnable Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 139-150, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Learning Context-Free Languages, Rewriting Systems |
30 | Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak |
Sticky-free and overhang-free DNA languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(2), pp. 119-157, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Theoretical DNA computing, DNA encodings, codes, formal languages |
30 | Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi |
Steps towards C+C: A Language for Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings, pp. 34-48, 2000, Springer, 3-540-41044-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Interaction Languages, Web Languages, Agent Communication Languages |
30 | Paolo Ciancarini |
Modeling the software process using coordination rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 46-53, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
coordination rules, software system production lifecycle, software process specification, dynamic knowledge base, process-centered development environments, coordination, programming environments, computer aided software engineering, software development process, software process modeling, rule-based program, logic programming languages, logic programming languages, enactment, project support environments, rule-based languages, project database |
30 | Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron |
Language Design For Program Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(1), pp. 19-32, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages |
30 | Esra Erdem 0001, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 160-176, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Yael Krevner, Amiram Yehudai |
An Iteration Theorem for Simple Precedence Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 360-368, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
30 | Faith E. Fich, Janusz A. Brzozowski |
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 230-244, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
30 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 147-159, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
30 | Dora Giammarresi |
Tiling Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 75-86, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages |
30 | John Peterson |
Media centered languages for new computing experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Richard Tapia Celebration of Diversity in Computing Conference ![In: Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2005, Albuquerque, New Mexico, USA, October 19-22, 2005, pp. 23-25, 2005, ACM, 1-59593-257-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
introductory programming languages, media-based languages, functional programming |
30 | Luis Carlos de Sousa Menezes, Geber L. Ramalho, Hermano Perrelli de Moura |
Modular definition of agent-oriented languages using action semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 948-949, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics |
30 | Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey |
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 334-337, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming |
30 | Jon. Hallett |
Formulating Update Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(7), pp. 41-44, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Smalltalk |
29 | Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella |
Application and user interface migration from BASIC to Visual C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 76-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++ |
29 | Dorian P. Yeager |
A different kind of programming languages course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 667-674, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, design, education, object-oriented, C++, implementation, languages, smalltalk, event-driven, C#, simula |
29 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001 |
The next 700 data description languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 2-15, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, dependent types, data description language |
29 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 2-12, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
29 | Wojciech Buszkowski, Maciej Farulewski |
Nonassociative Lambek Calculus with Additives and Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Languages: From Formal to Natural ![In: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, pp. 45-58, 2009, Springer, 978-3-642-01747-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Susan L. Graham |
Languages and Interactive Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 21-34, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | David B. Skillicorn, Domenico Talia |
Models and Languages for Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 30(2), pp. 123-169, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
taxonomy, object-oriented languages, parallel programming models, logic programming languages, software development methods, parallel programming languages, general-purpose parallel computation |
29 | Gheorghe Paun |
(DNA) computing by carving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(1), pp. 30-36, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Chomskyhierarchy, approximation of languages, DNA computing, complementation |
29 | Niklaus Wirth |
The Essence of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 1-11, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Volker Haarslev, Ralf Möller 0001, Michael Wessel |
On Specifying Semantics of Visual Spatial Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 4-11, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
visual spatial query languages, semantics of visual spatial query languages, query subsumption, description logic |
29 | Sarah A. Douglas, Christopher D. Hundhausen, Donna McKeown |
Toward Empirically-Based Software Visualization Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 342-350, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
empirically-based software visualization languages, single-user software visualization, systems usability, human conceptualization, visualization storyboarding, bubblesort algorithm, semantic-level visualization language, graphical user interfaces, human factors, transformations, visual programming, visual languages, data visualisation, attributes, usability study, entities, Lens |
28 | Ryo Yoshinaka |
Identification in the Limit of k, l-Substitutable Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 266-279, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Semantic Web Languages - Towards an Institutional Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 99-123, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Sanjay Jain 0001, Yen Kaow Ng, Tiong Seng Tay |
Learning Languages in a Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 235-250, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Evgeny Dantsin, Andrei Voronkov |
Expressive Power and Data Complexity of Query Languages for Trees and Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA, pp. 157-165, 2000, ACM, 1-58113-214-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
trees, expressive power, lists, data complexity, term algebras |
28 | Michal Chytil, Burkhard Monien |
Caterpillars and Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings, pp. 70-81, 1990, Springer, 3-540-52282-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001 |
Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 567-580, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
uniform random generation, auxiliary pushdown automata, rational trace languages, inherent ambiguity, context-free languages, approximate counting |
28 | A. Lawrence Spitz |
Determination of the Script and Language Content of Document Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(3), pp. 235-245, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
script classification, machine printed OCR, language classification, Han-based languages, Latin-based languages, Asian scripts, Multilingual |
28 | Regina Bernhaupt, Marco Winckler, Florence Pontico |
Are User Interface Pattern Languages Usable? A Report from the Trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II, pp. 542-545, 2009, Springer, 978-3-642-03657-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
field usability study, pattern languages, acceptance |
28 | Laurence Tratt, Roel Wuyts |
Guest Editors' Introduction: Dynamically Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(5), pp. 28-30, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lua, Lisp, Smalltalk, Python, Ruby, CLOS, dynamically typed languages |
28 | Anis Charfi, Mira Mezini |
Aspect-Oriented Workflow Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 183-200, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modularity, Separation of Concerns, Aspect-Oriented Software Development, Workflow Languages |
28 | Anneke Kleppe |
Towards General Purpose, High Level, Software Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings, pp. 220-238, 2005, Springer, 3-540-30026-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language |
28 | Wei Zhao 0002 |
A language based formalism for domain driven development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 388-389, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
4Compiler, 4th generation languages, generative domain model, feature model, domain engineering, two-level grammar, application engineering |
28 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
Using extended positional grammars to develop visual modeling languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 201-208, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts |
28 | Hans Bekic |
Defining a Language in its Own Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 17-25, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Timos K. Sellis, Leonard D. Shapiro |
Query Optimization for Nontraditional Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(1), pp. 77-86, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
space performance, nontraditional database applications, equivalent database programs, extended query languages, iteration operator, artificial intelligence, programming, query optimization, database management systems, query languages, environments, engineering, large data sets, database query languages, time performance |
Displaying result #1 - #100 of 62938 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|