|
|
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. |
VL |
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. |
ICGI |
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. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
53 | WoonKiong Tan |
A semantic model of a small typed functional language using Object-Z. |
APSEC |
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. |
IEEE Trans. Software Eng. |
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. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
50 | Susan M. Üsküdarli, T. B. Dinesh |
Towards a Visual Programming Environment Generator for Algebraic Specifications. |
VL |
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. |
ISMVL |
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. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Peter Schäuble, Beat Wüthrich |
On the Expressive Power of Query Languages. |
ACM Trans. Inf. Syst. |
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. |
IEEE Trans. Software Eng. |
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. |
DESRIST |
2009 |
DBLP DOI BibTeX RDF |
design patterns, pattern languages, interaction patterns |
44 | Rajeev Alur, P. Madhusudan |
Visibly pushdown languages. |
STOC |
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. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau |
Computation with Absolutely No Space Overhead. |
Developments in Language Theory |
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. |
DLS |
2007 |
DBLP DOI BibTeX RDF |
CLR, python, NET, ruby, dynamic languages |
40 | Jeremy G. Siek |
General purpose languages should be metalanguages. |
PEPM |
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. |
WISE |
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. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
FCL |
39 | Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai |
Classifications of Dense Languages. |
Acta Informatica |
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. |
ICALP |
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. |
ALT |
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. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka |
A Kleene Theorem for Infinite Trace Languages. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
36 | José M. Sempere |
Learning Context-Sensitive Languages from Linear Structural Information. |
ICGI |
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. |
IEEE Trans. Software Eng. |
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. |
PARLE (2) |
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. |
ACM Symposium on Document Engineering |
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. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001 |
Regex and Extended Regex. |
CIAA |
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. |
ICGI |
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. |
CAI |
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. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Olaf Chitil |
Common Subexpressions Are Uncommon in Lazy Functional Languages. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Giorgio Ghelli |
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. |
REX Workshop |
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. |
ALT |
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. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
ALGOL-like languages, regular languages, Game semantics |
33 | Volker Haarslev |
Formal Semantics of Visual Languages using Spatial Reasoning. |
VL |
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. |
VL |
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. |
Semantics of Specification Languages |
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. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Jean E. Sammet |
Application of extensible languages to specialized application languages. |
International Symposium on Extensible Languages |
1971 |
DBLP DOI BibTeX RDF |
|
32 | Wissam Khalil |
More expressive extensions of TQL. |
CSTST |
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. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Eric C. Cooper |
On the Expressive Power of Query Languages for Relational Databases. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
32 | Egor Dolzhenko, Natasa Jonoska |
On Complexity of Two Dimensional Languages Generated by Transducers. |
CIAA |
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. |
ICALP |
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. |
Acta Informatica |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Alexandra Poulovassilis, Stefan G. Hild |
Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update. |
IEEE Trans. Knowl. Data Eng. |
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. |
Annual Simulation Symposium |
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. |
Mach. Transl. |
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). |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
evaluation, usability, programming languages, tools |
32 | Peter Bunus, Peter Fritzson |
A Debugging Scheme for Declarative Equation Based Modeling Languages. |
PADL |
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. |
ICGI |
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. |
FinTAL |
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. |
ACM Trans. Database Syst. |
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. |
PARLE (2) |
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. |
CAI |
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. |
SAC |
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. |
ICGI |
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. |
Acta Informatica |
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. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Interaction Languages, Web Languages, Agent Communication Languages |
30 | Paolo Ciancarini |
Modeling the software process using coordination rules. |
WETICE |
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. |
IEEE Trans. Software Eng. |
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. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Yael Krevner, Amiram Yehudai |
An Iteration Theorem for Simple Precedence Languages (Extended Abstract). |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
30 | Faith E. Fich, Janusz A. Brzozowski |
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
30 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
30 | Dora Giammarresi |
Tiling Recognizable Two-Dimensional Languages. |
CAI |
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. |
Richard Tapia Celebration of Diversity in Computing Conference |
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. |
AAMAS |
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. |
ICECCS |
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. |
ACM SIGPLAN Notices |
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++. |
ICSM |
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. |
OOPSLA Companion |
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. |
POPL |
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. |
MERLIN |
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. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Susan L. Graham |
Languages and Interactive Software Development. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
29 | David B. Skillicorn, Domenico Talia |
Models and Languages for Parallel Computation. |
ACM Comput. Surv. |
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. |
Soft Comput. |
1999 |
DBLP DOI BibTeX RDF |
Chomskyhierarchy, approximation of languages, DNA computing, complementation |
29 | Niklaus Wirth |
The Essence of Programming Languages. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Volker Haarslev, Ralf Möller 0001, Michael Wessel |
On Specifying Semantics of Visual Spatial Query Languages. |
VL |
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. |
VL |
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. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Semantic Web Languages - Towards an Institutional Perspective. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Sanjay Jain 0001, Yen Kaow Ng, Tiong Seng Tay |
Learning Languages in a Union. |
ALT |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Evgeny Dantsin, Andrei Voronkov |
Expressive Power and Data Complexity of Query Languages for Trees and Lists. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
trees, expressive power, lists, data complexity, term algebras |
28 | Michal Chytil, Burkhard Monien |
Caterpillars and Context-Free Languages. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001 |
Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures. |
STACS |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
INTERACT (2) |
2009 |
DBLP DOI BibTeX RDF |
field usability study, pattern languages, acceptance |
28 | Laurence Tratt, Roel Wuyts |
Guest Editors' Introduction: Dynamically Typed Languages. |
IEEE Softw. |
2007 |
DBLP DOI BibTeX RDF |
Lua, Lisp, Smalltalk, Python, Ruby, CLOS, dynamically typed languages |
28 | Anis Charfi, Mira Mezini |
Aspect-Oriented Workflow Languages. |
OTM Conferences (1) |
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. |
ECMDA-FA |
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. |
OOPSLA Companion |
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. |
SEKE |
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. |
Programming Languages and Their Definition |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Timos K. Sellis, Leonard D. Shapiro |
Query Optimization for Nontraditional Database Applications. |
IEEE Trans. Software Eng. |
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][ >>] |
|