The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Languages with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1959 (15) 1960-1961 (26) 1962 (28) 1963-1964 (38) 1965 (24) 1966 (47) 1967 (45) 1968 (61) 1969 (72) 1970 (40) 1971 (109) 1972 (119) 1973 (179) 1974 (201) 1975 (242) 1976 (221) 1977 (222) 1978 (294) 1979 (197) 1980 (226) 1981 (237) 1982 (290) 1983 (217) 1984 (253) 1985 (282) 1986 (333) 1987 (531) 1988 (598) 1989 (753) 1990 (674) 1991 (849) 1992 (1111) 1993 (1136) 1994 (1091) 1995 (1029) 1996 (915) 1997 (1224) 1998 (1364) 1999 (1338) 2000 (1776) 2001 (1505) 2002 (1718) 2003 (2048) 2004 (2273) 2005 (2524) 2006 (2780) 2007 (2732) 2008 (2743) 2009 (2510) 2010 (1629) 2011 (1499) 2012 (1427) 2013 (1516) 2014 (1832) 2015 (1593) 2016 (1789) 2017 (1588) 2018 (1691) 2019 (1762) 2020 (1688) 2021 (1692) 2022 (1623) 2023 (1947) 2024 (422)
Publication types (Num. hits)
article(9906) book(191) data(4) incollection(598) inproceedings(50399) mastersthesis(1) phdthesis(666) proceedings(1173)
Venues (Conferences, Journals, ...)
ICALP(3239) CoRR(1836) POPL(1568) OOPSLA(1221) ASPLOS(1155) VL/HCC(1047) OOPSLA Companion(936) EuroPLoP(884) LCPC(846) MoDELS(834) ESOP(833) FDL(725) ICALP (1)(655) MoDELS (Companion)(648) VL(623) APLAS(606) More (+10 of total 4458)
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
84Martin Erwig, Bernd Meyer 0001 Heterogeneous Visual Languages-Integrating Visual and Textual Programming. Search on Bibsonomy VL The full citation details ... 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
79D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran Learning of Regular Bi-omega Languages. Search on Bibsonomy ICGI The full citation details ... 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
60Marjan Mernik, Viljem Zumer Domain-Specific Languages for Software Engineering - Minitrack Introduction. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
53WoonKiong Tan A semantic model of a small typed functional language using Object-Z. Search on Bibsonomy APSEC The full citation details ... 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
52Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola Parsing Nonlinear Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
51Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
50Susan M. Üsküdarli, T. B. Dinesh Towards a Visual Programming Environment Generator for Algebraic Specifications. Search on Bibsonomy VL The full citation details ... 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
49Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages. Search on Bibsonomy ISMVL The full citation details ... 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
47Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Peter Schäuble, Beat Wüthrich On the Expressive Power of Query Languages. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
45Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi Informal and Formal Requirements Specification Languages: Bridging the Gap. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
44Christine E. Wania, Michael E. Atwood Pattern languages in the wild: exploring pattern languages in the laboratory and in the real world. Search on Bibsonomy DESRIST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF design patterns, pattern languages, interaction patterns
44Rajeev Alur, P. Madhusudan Visibly pushdown languages. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
42Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens The Regular Real-Time Languages. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau Computation with Absolutely No Space Overhead. Search on Bibsonomy Developments in Language Theory The full citation details ... 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
41Jim Hugunin Bringing dynamic languages to .NET with the DLR. Search on Bibsonomy DLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CLR, python, NET, ruby, dynamic languages
40Jeremy G. Siek General purpose languages should be metalanguages. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
40François Bry, Tim Furche, Klara A. Weiand Web Queries: From a Web of Data to a Semantic Web. Search on Bibsonomy WISE The full citation details ... 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
39Ralph Frisbie, Richard Hendrickson, Michael Metcalf The F Programming Language. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FCL
39Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai Classifications of Dense Languages. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Primitive words, Dense languages, n-dense languages, Strict n-dense languages
38Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms
38Sanjay Jain 0001, Efim B. Kinber Learning Multiple Languages in Groups. Search on Bibsonomy ALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Ulrich 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 TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka A Kleene Theorem for Infinite Trace Languages. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36José M. Sempere Learning Context-Sensitive Languages from Linear Structural Information. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Watson-Crick finite automata, linear languages, k-testable languages, identifiability from positive structural data, context-sensitive languages
36Donald A. Varvel, Leonard D. Shapiro The Computational Completeness of Extended Database Query Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Matthias Felleisen, Daniel P. Friedman A Reduction Semantics for Imperative Higher-Order Languages. Search on Bibsonomy PARLE (2) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
36Débora C. Muchaluat-Saade, Luiz Fernando Gomes Soares Towards the convergence between hypermedia authoring languages and architecture description languages. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hypermedia authoring languages, structural meta-model, components, ADL, architecture description languages, connectors
36Masud Ahmad Malik Evolution of the High Level Programming Languages: A Critical Perspective. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001 Regex and Extended Regex. Search on Bibsonomy CIAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF regex, extended regex, programming languages, formal languages, Regular expressions
35Amaury Habrard, François Denis, Yann Esposito Using Pseudo-stochastic Rational Languages in Probabilistic Grammatical Inference. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pseudo-stochastic rational languages, multiplicity automata, probabilistic grammatical inference
35Marcella Anselmo, Maria Madonia Deterministic Two-Dimensional Languages over One-Letter Alphabet. Search on Bibsonomy CAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Determinism, Automata and Formal Languages, Two-dimensional languages
34Sebastian Bab, Arfst Nickelsen One Query Reducibilities Between Partial Information Classes. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Olaf Chitil Common Subexpressions Are Uncommon in Lazy Functional Languages. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Giorgio Ghelli Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
33Cristina Tîrnauca, Timo Knuutila Polynomial Time Algorithms for Learning k -Reversible Languages and Pattern Languages with Correction Queries. Search on Bibsonomy ALT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF k-reversible languages, pattern languages, polynomial algorithms, Correction queries
33Dan R. Ghica, Guy McCusker Reasoning about Idealized ALGOL Using Regular Languages. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ALGOL-like languages, regular languages, Game semantics
33Volker Haarslev Formal Semantics of Visual Languages using Spatial Reasoning. Search on Bibsonomy VL The full citation details ... 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
33Joaquim A. Jorge, Ephraim P. Glinert Online Parsing of Visual Languages Using Adjacency Grammars. Search on Bibsonomy VL The full citation details ... 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
33Egidio Astesiano, Maura Cerioli Multiparadigm Specification Languages: A First Attempt at Foundations. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Rix Groenboom, Gerard R. Renardel de Lavalette Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Jean E. Sammet Application of extensible languages to specialized application languages. Search on Bibsonomy International Symposium on Extensible Languages The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
32Wissam Khalil More expressive extensions of TQL. Search on Bibsonomy CSTST The full citation details ... 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
32Adrian Pop, Peter Fritzson MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. Search on Bibsonomy JMLC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Eric C. Cooper On the Expressive Power of Query Languages for Relational Databases. Search on Bibsonomy POPL The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
32Egor Dolzhenko, Natasa Jonoska On Complexity of Two Dimensional Languages Generated by Transducers. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Finite State Automata with Output, Local Languages, Entropy, Transducers, Picture Languages
32Manfred Droste, Guo-Qiang Zhang 0001 Rational Transformations of Formal Power Series. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF rational languages, recognizable languages, weighted finite automata, Formal power series
32Joost Engelfriet, Jan Joris Vereijken Context-Free Graph Grammars and Concatenation of Graphs. Search on Bibsonomy Acta Informatica The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Alexandra Poulovassilis, Stefan G. Hild Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Database browsing, database update languages, graph-based models and languages, hypernodes, visual database languages, database query languages
32Gary S. H. Tan, Yong Meng Teo Experiences in simulating a declarative multiprocessor. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 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
32Roland Hausser Left-associative grammar: The algebraic definitions. Search on Bibsonomy Mach. Transl. The full citation details ... 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
32Craig Anslow, Shane Markstrum, Emerson R. Murphy-Hill Evaluation and usability of programming languages and tools (plateau). Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF evaluation, usability, programming languages, tools
32Peter Bunus, Peter Fritzson A Debugging Scheme for Declarative Equation Based Modeling Languages. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
31T. Kalyani, V. Rajkumar Dare, D. Gnanaraj Thomas, T. Robinson 0001 Iso-array Acceptors and Learning. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF iso-picture languages, recognizable iso-picture languages, two-dimensional on-line tessellation automaton, Learning
31Adrian-Horia Dediu, Gabriela Martín Trees as Contexts in Formal Language Generation. Search on Bibsonomy FinTAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Contextual grammars, bracketed languages, structured contextual grammars, tree languages
31Charles Welty, David W. Stemple Human Factors Comparison of a Procedural and a Nonprocedural Query Language. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF procedural and nonprocedural languages, human factors, query languages, database systems
31Luc Bougé On the Semantics of Languages for Massively Parallel SIMD Architectures. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence
30Ondrej Klíma 0001, Libor Polák Polynomial Operators on Classes of Regular Languages. Search on Bibsonomy CAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF positive varieties of languages, polynomial operators
30Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa Variable handling in time-based XML declarative languages. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF variable handling, middleware, digital TV, declarative languages, NCL
30Rémi Eyraud, Colin de la Higuera, Jean-Christophe Janodet Representing Languages by Learnable Rewriting Systems. Search on Bibsonomy ICGI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Learning Context-Free Languages, Rewriting Systems
30Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak Sticky-free and overhang-free DNA languages. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Theoretical DNA computing, DNA encodings, codes, formal languages
30Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi Steps towards C+C: A Language for Interactions. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Interaction Languages, Web Languages, Agent Communication Languages
30Paolo Ciancarini Modeling the software process using coordination rules. Search on Bibsonomy WETICE The full citation details ... 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
30Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron Language Design For Program Manipulation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
30Esra Erdem 0001, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Yael Krevner, Amiram Yehudai An Iteration Theorem for Simple Precedence Languages (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
30Faith E. Fich, Janusz A. Brzozowski A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
30Marcella Anselmo, Maria Madonia A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. Search on Bibsonomy CAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages
30Dora Giammarresi Tiling Recognizable Two-Dimensional Languages. Search on Bibsonomy CAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages
30John Peterson Media centered languages for new computing experiences. Search on Bibsonomy Richard Tapia Celebration of Diversity in Computing Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF introductory programming languages, media-based languages, functional programming
30Luis Carlos de Sousa Menezes, Geber L. Ramalho, Hermano Perrelli de Moura Modular definition of agent-oriented languages using action semantics. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics
30Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. Search on Bibsonomy ICECCS The full citation details ... 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
30Jon. Hallett Formulating Update Messages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Smalltalk
29Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella Application and user interface migration from BASIC to Visual C++. Search on Bibsonomy ICSM The full citation details ... 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++
29Dorian P. Yeager A different kind of programming languages course. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, design, education, object-oriented, C++, implementation, languages, smalltalk, event-driven, C#, simula
29Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001 The next 700 data description languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF domain-specific languages, dependent types, data description language
29Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey A computational approach to reflective meta-reasoning about languages with bindings. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
29Wojciech Buszkowski, Maciej Farulewski Nonassociative Lambek Calculus with Additives and Context-Free Languages. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Susan L. Graham Languages and Interactive Software Development. Search on Bibsonomy Programming Languages and System Architectures The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
29David B. Skillicorn, Domenico Talia Models and Languages for Parallel Computation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 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
29Gheorghe Paun (DNA) computing by carving. Search on Bibsonomy Soft Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Chomskyhierarchy, approximation of languages, DNA computing, complementation
29Niklaus Wirth The Essence of Programming Languages. Search on Bibsonomy JMLC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Volker Haarslev, Ralf Möller 0001, Michael Wessel On Specifying Semantics of Visual Spatial Query Languages. Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF visual spatial query languages, semantics of visual spatial query languages, query subsumption, description logic
29Sarah A. Douglas, Christopher D. Hundhausen, Donna McKeown Toward Empirically-Based Software Visualization Languages. Search on Bibsonomy VL The full citation details ... 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
28Ryo Yoshinaka Identification in the Limit of k, l-Substitutable Context-Free Languages. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Dorel Lucanu, Yuan-Fang Li, Jin Song Dong Semantic Web Languages - Towards an Institutional Perspective. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Sanjay Jain 0001, Yen Kaow Ng, Tiong Seng Tay Learning Languages in a Union. Search on Bibsonomy ALT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Evgeny Dantsin, Andrei Voronkov Expressive Power and Data Complexity of Query Languages for Trees and Lists. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF trees, expressive power, lists, data complexity, term algebras
28Michal Chytil, Burkhard Monien Caterpillars and Context-Free Languages. Search on Bibsonomy STACS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001 Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF uniform random generation, auxiliary pushdown automata, rational trace languages, inherent ambiguity, context-free languages, approximate counting
28A. Lawrence Spitz Determination of the Script and Language Content of Document Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF script classification, machine printed OCR, language classification, Han-based languages, Latin-based languages, Asian scripts, Multilingual
28Regina Bernhaupt, Marco Winckler, Florence Pontico Are User Interface Pattern Languages Usable? A Report from the Trenches. Search on Bibsonomy INTERACT (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF field usability study, pattern languages, acceptance
28Laurence Tratt, Roel Wuyts Guest Editors' Introduction: Dynamically Typed Languages. Search on Bibsonomy IEEE Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lua, Lisp, Smalltalk, Python, Ruby, CLOS, dynamically typed languages
28Anis Charfi, Mira Mezini Aspect-Oriented Workflow Languages. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Modularity, Separation of Concerns, Aspect-Oriented Software Development, Workflow Languages
28Anneke Kleppe Towards General Purpose, High Level, Software Languages. Search on Bibsonomy ECMDA-FA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language
28Wei Zhao 0002 A language based formalism for domain driven development. Search on Bibsonomy OOPSLA Companion The full citation details ... 2003 DBLP  DOI  BibTeX  RDF 4Compiler, 4th generation languages, generative domain model, feature model, domain engineering, two-level grammar, application engineering
28Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino Using extended positional grammars to develop visual modeling languages. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts
28Hans Bekic Defining a Language in its Own Terms. Search on Bibsonomy Programming Languages and Their Definition The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
28Timos K. Sellis, Leonard D. Shapiro Query Optimization for Nontraditional Database Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license