Search results for "languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Martin Erwig, Bernd Meyer	Heterogeneous Visual Languages-Integrating Visual and Textual Programming. (PDF / PS)	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
7	D. G. Thomas, M. Humrosia Begam, K. G. Subramanian, 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
7	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
7	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
7	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
6	Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga	Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages. (PDF / PS)	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
6	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
5	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
5	Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai	Classifications of Dense Languages.	Acta Inf.	2006	DBLP DOI BibTeX RDF	Primitive words, Dense languages, n-dense languages, Strict n-dense languages
5	Rajeev Alur, P. Madhusudan	Visibly pushdown languages.	STOC	2004	DBLP DOI BibTeX RDF	?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
5	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
5	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
5	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
5	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
5	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
5	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
5	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++. (PDF / PS)	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, graphical systems, program interpreters, program interpreters, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
5	Susan M. Üsküdarli, T. B. Dinesh	Towards a Visual Programming Environment Generator for Algebraic Specifications. (PDF / PS)	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
5	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
5	Roland Hausser	Left-associative grammar: The algebraic definitions.	Machine Translation	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
4	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
4	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki	Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	assertion code, constraints, programming languages, OCL
4	Tobias Walter, Fernando Silva Parreiras, Steffen Staab	OntoDSL: An Ontology-Based Framework for Domain-Specific Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	Technical Space, Reasoning Services, Ontologies, Domain-Specific Languages
4	Juha-Pekka Tolvanen, Steven Kelly	MetaEdit+: defining and using integrated domain-specific modeling languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	code generation, domain-specific languages, metamodeling, domain-specific modeling, language workbench
4	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
4	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster	Profile-guided static typing for dynamic scripting languages.	OOPSLA	2009	DBLP DOI BibTeX RDF	RIL, profile guided anlaysis, scripting languages, ruby
4	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
4	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
4	Benedek Nagy	Permutation Languages in Formal Linguistics.	IWANN	2009	DBLP DOI BibTeX RDF	interchange (permutation) rules, semi-linear languages, mildly context-sensitivity, languages, commutations, Chomsky hierarchy
4	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
4	Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser	Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.	OOPSLA	2009	DBLP DOI BibTeX RDF	composable languages, permissive grammars, sglr, error recovery, language extensions, embedded languages, sdf
4	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
4	Changjian Liang, Yongming Li	Algebraic properties on the cuts of lattice-valued regular languages.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy languages, Lattice-valued regular languages, Level structure, Closure properties
4	Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary	Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.	PEPM	2008	DBLP DOI BibTeX RDF	statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages
4	Ondrej Klíma, Libor Polák	Hierarchies of Piecewise Testable Languages.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	varieties of languages, piecewise testable languages, syntactic monoid
4	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
4	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
4	Mathias Creutz, Teemu Hirsimäki, Mikko Kurimo, Antti Puurula, Janne Pylkkönen, Vesa Siivola, Matti Varjokallio, Ebru Arisoy, Murat Saraclar, Andreas Stolcke	Morph-based speech recognition and modeling of out-of-vocabulary words across languages.	TSLP	2007	DBLP DOI BibTeX RDF	Egyptian Colloquial Arabic, Estonian, Finnish, Highly inflecting and compounding languages, LVCSR, Morfessor, morpheme, morphologically rich languages, subword-based language modeling, n-gram models, Turkish
4	Boniface Hicks, Dave King 0002, Patrick McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
4	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
4	Dora Giammarresi	Tiling Recognizable Two-Dimensional Languages.	CAI	2007	DBLP DOI BibTeX RDF	Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages
4	Paolo Bottoni, Juan de Lara, Esther Guerra	Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.	VL/HCC	2007	DBLP DOI BibTeX RDF	Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation
4	Jim Hugunin	Bringing dynamic languages to .NET with the DLR.	DLS	2007	DBLP DOI BibTeX RDF	CLR, python, NET, ruby, dynamic languages
4	Jeremy E. Dawson	Compound monads in specification languages.	PLPV	2007	DBLP DOI BibTeX RDF	angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
4	Hridesh Rajan	A case for explicit join point models for aspect-oriented intermediate languages.	VMIL	2007	DBLP DOI BibTeX RDF	Nu AO intermediate language, aspect-oriented intermediate languages, explicit join point models, implicit join point models
4	Marcella Anselmo, Dora Giammarresi, Maria Madonia	From Determinism to Non-determinism in Recognizable Two-Dimensional Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	Unambiguity - Determinism, Automata and Formal Languages, Two-dimensional languages
4	Andreas Malcher, Giovanni Pighizzini	Descriptional Complexity of Bounded Context-Free Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	finite-turn pushdown automata, recursive trade-offs, bounded languages, descriptional complexity, automata and formal languages
4	Artur Jez	Conjunctive Grammars Can Generate Non-regular Unary Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	Conjunctive grammars, unary alphabet, non-regular languages, regular languages
4	Mark Hills, Grigore Rosu	A rewriting approach to the design and evolution of object-oriented languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	object-oriented languages, language design, formal analysis, rewriting logic, language semantics
4	M. E. Fayad, Chia-Chu Chiang, Pablo Chacin, Srini Ramaswamy, Arturo J. Sánchez-Ruíz, Selmin Nurcan	The first international workshop on patterns languages: addressing challenges (PLAC 2007).	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	classification, design, composition, analysis, pattern languages, architectural patterns, knowledge maps
4	Michal Antkiewicz	Round-trip engineering using framework-specific modeling languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	FSMLs, framework-specific modeling, framework-specific modeling languages, object-oriented frameworks, round-trip engineering
4	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
4	Kathleen Fisher	Typing ad hoc data.	TLDI	2007	DBLP DOI BibTeX RDF	ad hoc data, domain-specific languages, dependent types, data description languages
4	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPOPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
4	Marleen Vanhauer, Karina Oertel, Jörg Voskamp	Overcoming the Language Barrier: The Potential of the Visual Language LoCoS in International Human-Computer Communication.	HCI	2007	DBLP DOI BibTeX RDF	International Human-Computer Communication, Visual Communi-cation, Artificial Languages, Iconic Languages, Visual Languages, Semiotics, Internationalization
4	Kathleen Fisher, Yitzhak Mandelbaum, David Walker	The next 700 data description languages.	POPL	2006	DBLP DOI BibTeX RDF	domain-specific languages, dependent types, data description language
4	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
4	Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons	Fast and loose reasoning is morally correct.	POPL	2006	DBLP DOI BibTeX RDF	inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning
4	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
4	Jacques Savoy	Comparative study of monolingual and multilingual search models for use with asian languages.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	Chinese language, Japanese language, Korean language, Multilingual information retrieval, natural language processing with Asian languages, search engines with Asian languages, cross-language information retrieval, results-merging
4	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
4	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Theoretical foundations for compensations in flow composition languages.	POPL	2005	DBLP DOI BibTeX RDF	process description languages, transactions, compensations
4	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
4	Wade Holst	Meta: a universal meta-language for augmenting and unifying language families, featuring meta(oopl) for object-oriented programming languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	language interoperability, object-oriented, language design, meta-programming, meta-languages
4	Hui Wu, Jeff Gray	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
4	Cristian Coarfa, Yuri Dotsenko, John M. Mellor-Crummey, François Cantonnet, Tarek A. El-Ghazawi, Ashrujit Mohanti, Yiyi Yao, Daniel G. Chavarría-Miranda	An evaluation of global address space languages: co-array fortran and unified parallel C.	PPOPP	2005	DBLP DOI BibTeX RDF	co-array fortran, global address space languages, unified parallel C, performance, scalability, compilers, parallel languages, UPC, CAF
4	Henning Fernau	Identifying Terminal Distinguishable Languages.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	even linear languages, terminal distinguishability, formal languages, grammatical inference
4	Davide Ancona, Elena Zucca	Principal typings for Java-like languages.	POPL	2004	DBLP DOI BibTeX RDF	Java-like languages, selective recompilation, principal typings
4	Tim Sheard	Languages of the future.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods
4	Salvador España, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
4	Martin Bravenboer, Eelco Visser	Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.	OOPSLA	2004	DBLP DOI BibTeX RDF	MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego
4	Ákos Schmidt, Dániel Varró	CheckVML: A Tool for Model Checking Visual Modeling Languages.	UML	2003	DBLP DOI BibTeX RDF	model checking, formal verification, metamodeling, graph transformation, visual modeling languages
4	Macneil Shonle, Karl J. Lieberherr, Ankit Shah	XAspects: an extensible system for domain-specific aspect languages.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, domain-specific languages, generative programming, language extensions
4	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
4	Sylvain Lombardy	On the Construction of Reversible Automata for Reversible Languages.	ICALP	2002	DBLP DOI BibTeX RDF	reversible languages, reversible automata, universal automata, Finite automata
4	Luis Carlos de Sousa Menezes, Geber 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
4	Fernando Jiménez-Fraustro, Éric Rutten	A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.	ECRTS	2001	DBLP DOI BibTeX RDF	IEC 61131, programming languages, formal model, tool support, SIGNAL, synchronous languages, PLCs (programmable logic controllers)
4	Arun Chauhan, Ken Kennedy	Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization.	ICS	2001	DBLP DOI BibTeX RDF	procedure specialization, reduction in strength, telescoping languages, high-performance computing, vectorization, partial evaluation, Matlab, scripts, high-level languages, specialization, automatic differentiation
4	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
4	Manfred Droste, Guo-Qiang Zhang	Rational Transformations of Formal Power Series.	ICALP	2001	DBLP DOI BibTeX RDF	rational languages, recognizable languages, weighted finite automata, Formal power series
4	Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng	Monitoring facilities in languages supporting development of concurrent self-measurement programs.	APSEC	2000	DBLP DOI BibTeX RDF	concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring
4	Ken'ichirou Kimura, Hirofumi Amano, Akifumi Makinouchi	Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	dynamic performance optimization, parallel object-oriented database programming languages, distributed-memory parallel processor, remote object referencing, biased distribution, object relocation, simulation tests, topology, parallel languages, performance degradation, inter-processor communication, load imbalance, object allocation
4	Tal Cohen, Joseph Gil	Self-Calibration of Metrics of Java Methods.	TOOLS	2000	DBLP DOI BibTeX RDF	metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP
4	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
4	Sergio Flesca, Sergio Greco, Ester Zumpano	Modeling and Querying XML-Data. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	XML data querying, XDT, labeled oriented graphs, XLL, SQL-like language, weighted path queries, weighted regular languages, node relevance, query languages, data models, XML document, structural features, hypermedia markup languages, path queries
4	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
4	Volker Haarslev, Ralf Möller, Michael Wessel	On Specifying Semantics of Visual Spatial Query Languages. (PDF / PS)	VL	1999	DBLP DOI BibTeX RDF	visual spatial query languages, semantics of visual spatial query languages, query subsumption, description logic
4	Ole Lehrmann Madsen	Towards Integration of State Machines and Object-Oriented Languages.	TOOLS	1999	DBLP DOI BibTeX RDF	object-oriented languages, state machines, Object-oriented analysis and design
4	Giuseppe Polese, Shi-Kuo Chang, Genoveffa Tortora	The Design of Multimedia Languages Based on Teleaction Objects. (PDF / PS)	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Multimedia Languages, Visual Languages
4	Oliver Matz	Regular Expressions and Context-Free Grammars for Picture Languages.	STACS	1997	DBLP DOI BibTeX RDF	formal languages, regular expressions, grammars, pictures languages
4	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Xiaojie Li, Kenichi Harada	An efficient asynchronous data transmission mechanism for data parallel languages. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	asynchronous data transmission mechanism, linguistic support, array references, N-level message queue, exact data-flow analysis, data transmission requests, SPMD code, parallel programming, compilers, program compilers, distributed memory systems, parallel languages, optimization techniques, distributed memory multiprocessors, data parallel languages
4	Sarah A. Douglas, Christopher D. Hundhausen, Donna McKeown	Toward Empirically-Based Software Visualization Languages. (PDF / PS)	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
4	Volker Haarslev	Formal Semantics of Visual Languages using Spatial Reasoning. (PDF / PS)	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
4	Joaquim A. Jorge, Ephraim P. Glinert	Online Parsing of Visual Languages Using Adjacency Grammars. (PDF / PS)	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
4	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
4	Colin Allison, Mike Livesey	Persistent SR: Adding persistence to concurrency.	HICSS	1995	DBLP DOI BibTeX RDF	persistent programming languages, concurrency, prototyping, concurrency control, distribution, object-oriented languages, persistence, parallel languages, SR, distribution models
4	Matthew Haines, A. P. Wim Böhm	An initial comparison of implicit and explicit programming styles for distributed memory multiprocessors.	HICSS	1995	DBLP DOI BibTeX RDF	implicit programming styles, explicit programming styles, parallel task management, ease of programming, programming effort, performance, parallel programming, parallel programming, efficiency, programming language, distributed memory systems, parallel languages, functional languages, functional languages, distributed memory multiprocessors, distributed data management, run-time support
4	Paolo Ciancarini	Modeling the software process using coordination rules. (PDF / PS)	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, software development process, computer aided software engineering, software process modeling, rule-based program, logic programming languages, logic programming languages, enactment, project support environments, rule-based languages, project database
4	Susan L. Graham	Languages and Interactive Software Development.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF