Search results for "languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Kees G. W. Goossens, Om Prakash Gangwal	The Cost of Communication Protocols and Coordination Languages in Embedded Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
22	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	On Message Sequence Graphs and Finitely Generated Regular MSC Languages.	ICALP	2000	DBLP DOI BibTeX RDF
22	Sergio Flesca, Sergio Greco	Partially Ordered Regular Languages for Graph Queries.	ICALP	1999	DBLP DOI BibTeX RDF
22	Marie-Pierre Béal, Olivier Carton, Christophe Reutenauer	Cyclic Languages and Strongly Cyclic Languages.	STACS	1996	DBLP DOI BibTeX RDF
22	Gerhard Buntrock, Friedrich Otto	Growing Context-Sensitive Languages and Church-Rosser Languages.	STACS	1995	DBLP DOI BibTeX RDF
22	Jon G. Riecke, Ramesh Viswanathan	Isolating Side Effects in Sequential Languages.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
22	Leonid Libkin, Limsoon Wong	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions.	PODS	1994	DBLP DOI BibTeX RDF
22	Thomas Wilke	Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability.	ICALP	1993	DBLP DOI BibTeX RDF
22	Joseph Bates, Alon Lavie	Recognizing Substrings of LR(k) Languages in Linear Time.	POPL	1992	DBLP DOI BibTeX RDF
22	Gul Agha	The Structure and Semantics of Actor Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
22	King-Hang Chu, King-Sun Fu	VLSI architectures for high speed recognition of context-free languages and finite-state languages.	ISCA	1982	DBLP BibTeX RDF
22	Matthias Höpner, Manfred Opp	Renaming and Erasing in Szilard Languages.	ICALP	1977	DBLP DOI BibTeX RDF
22	Ivan Hal Sudborough	The Time and Tape Complexity of Developmental Languages.	ICALP	1977	DBLP DOI BibTeX RDF
22	Jennifer Gillenwater, Gregory Malecha, Cherif R. 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
22	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.	ACM Trans. Speech Lang. Process.	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
22	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
22	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)
22	Ken'ichirou Kimura, Hirofumi Amano, Akifumi Makinouchi	Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages.	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
22	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
22	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	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
22	Giuseppe Polese, Shi-Kuo Chang, Genoveffa Tortora	The Design of Multimedia Languages Based on Teleaction Objects.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Multimedia Languages, Visual Languages
22	Oliver Matz	Regular Expressions and Context-Free Grammars for Picture Languages.	STACS	1997	DBLP DOI BibTeX RDF	formal languages, regular expressions, grammars, pictures languages
22	Guijun Wang, Allen L. Ambler	Invocation Polymorphism.	VL	1995	DBLP DOI BibTeX RDF	invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement
22	Thomas Kunstmann, Martin Frisch, Robert Müller	A Declarative Programming Environment Based on Constraints.	VL	1995	DBLP DOI BibTeX RDF	declarative programming environment, commercial spreadsheets, declarative visual languages, simulation, software engineering, constraints, planning, planning, programming environments, visual programming, visual languages, digital simulation, data visualisation, constraint handling, spreadsheet programs
22	Jun'ichi Miyao, Shi-Kuo Chang	A Framework of a Visual Language with Dynamic Specification.	VL	1995	DBLP DOI BibTeX RDF	dynamic specification, complex software behavior, object oriented visual language, formal specification, time, user profile, visual programming, visual languages, visual language, object-oriented languages, snapshot, overlap, sweep, visualized specification, dynamic objects, input data
22	Paolo Bottoni, Marzia Mariotto, Piero Mussio, Gabriele E. M. Biella	The Design of Anthropocentric Cooperative Visual Environments.	VL	1995	DBLP DOI BibTeX RDF	Anthropocentric Cooperative Visual Environments, user capabilities, user-system communication, shape abstraction, ACVE design, graphical user interfaces, human factors, visual programming, visual programming, visual languages, visual languages, system performance
22	Edward Miller, Motoji Kado, Masahito Hirakawa, Tadao Ichikawa	HI-VISUAL as a User-Customizable Visual Programming Environment.	VL	1995	DBLP DOI BibTeX RDF	HI-VISUAL, user-customizable visual programming environment, iconic programming system, end-user tailorability, data structures, data structures, graphical user interfaces, programming environments, visual programming, visual languages, customization, visual programming languages
22	Jacopo M. Corridoni, Alberto Del Bimbo, Dario Lucarella	Navigation and Visualization of Movies Content.	VL	1995	DBLP DOI BibTeX RDF	movie content navigation, time-varying visual data, film data, hypermedia navigation system, visualization, user interfaces, multimedia, query processing, query languages, query languages, multimedia computing, visual databases, video database, data filtering, video data, visual speech
22	Elisabeth Freeman, David Gelernter, Suresh Jagannathan	In Search of a Simple Visual Vocabulary.	VL	1995	DBLP DOI BibTeX RDF	reverse engineering, programming environments, visual programming, visual languages, visual languages, program understanding, expressiveness, computer aided software engineering, visual representation, vocabulary, program executions, program structure, visual programming environment, visual vocabulary
22	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
22	David R. Lester	An Efficient Distributed Collection Algorithm.	PARLE (1)	1989	DBLP DOI BibTeX RDF	G-Machine, Lazy Functional Languages, Garbage Collection, Declarative Languages, General Purpose Parallel Computer
22	Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba	Dataflow Computing Models, Languages, and Machines for Intelligence Computations.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages
22	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
22	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
22	Mohammed Yousef, Ahmed Hashem, Hassan Saad, Amr Gamal, Osama Galal, Khaled F. Hussain	A scripting language for Digital Content Creation applications.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
22	Franco Turini	The Semantics of Ugo Montanari.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
22	Farooq Butt	Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
22	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
22	John A. Ruf	A Note Introducing Syntax Through Semantic Routines.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
22	Friedrich L. Bauer	Syntaktische Struktur formaler und natürlicher Sprachen.	Computing	1966	DBLP DOI BibTeX RDF
22	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
22	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
22	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
22	Boniface Hicks, Dave King 0002, Patrick D. McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
22	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
22	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
22	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
22	Á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
22	Yoshihiro Adachi, Suguru Kobayashi, Kensei Tsuchida, Takeo Yaku	An NCE Context-Sensitive Graph Grammar for Visual Design Languages.	VL	1999	DBLP DOI BibTeX RDF	Context-sensitive graph grammar, Diagrammatic languages, Formal definition of VPLs, Reusing visual code, Visual language
22	Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi, Piero Mussio	Formalising Visual Languages.	VL	1995	DBLP DOI BibTeX RDF	visual language formalisation, visual human-computer communication, full screen image management, icon interpretation handling, diverse tasks, computational meaning, visual sentence, interpreted image, user-computer dialogue, ambiguity control, pattern recognition, pattern recognition, graphical user interfaces, computer graphics, visual languages, visual language, users, multiple representations, image generation, computer displays, computer display, visual reasoning
22	Jean-Marc Jézéquel, F. Bergheul, Françoise André	Programming Massively Parallel Architectures with Sequential Object Oriented Languages.	PARLE	1992	DBLP DOI BibTeX RDF	Object oriented languages, Massively parallel systems, Parallel programming paradigms
22	Torben Æ. Mogensen	Binding Time Analysis for Polymorphically Typed Higher Order Languages.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	semantics, projections, partial evaluation, functional languages, compiler generation, binding time analysis
21	Davide Ancona, Giovanni Lagorio, Elena Zucca	Flexible Type-Safe Linking of Components for Java-Like Languages.	JMLC	2006	DBLP DOI BibTeX RDF
21	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	Symbolic Analysis of Imperative Programming Languages.	JMLC	2006	DBLP DOI BibTeX RDF
21	Sean McDirmid, Wilson C. Hsieh, Matthew Flatt	A Framework for Modular Linking in OO Languages.	JMLC	2006	DBLP DOI BibTeX RDF
21	Franz Puntigam	Internal and External Token-Based Synchronization in Object-Oriented Languages.	JMLC	2006	DBLP DOI BibTeX RDF
21	K. John Gough, Diane Corney	Leveraging Managed Frameworks from Modular Languages.	JMLC	2003	DBLP DOI BibTeX RDF
21	Giuseppe Marino, Giancarlo Succi	Data structures for parallel execution of functional languages.	PARLE (2)	1989	DBLP DOI BibTeX RDF
21	Niklaus Wirth	Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures.	ASPLOS	1987	DBLP DOI BibTeX RDF
21	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
21	Kaoru Onodera	New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality.	LATA	2009	DBLP DOI BibTeX RDF
21	Jose Falcon, William R. Cook	Gel: A Generic Extensible Language.	DSL	2009	DBLP DOI BibTeX RDF
21	Martin Kutrib, Andreas Malcher, Detlef Wotschke	The Boolean closure of linear context-free languages.	Acta Informatica	2008	DBLP DOI BibTeX RDF
21	Sebastian Stüker	Modified polyphone decision tree specialization for porting multilingual Grapheme based ASR systems to new languages.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Ali Kamandi, Jafar Habibi	Modeling Languages Study and Evaluation Techniques.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	language evaluation, human-computer interaction, language design, modeling language, cognitive complexity
21	Salvatore La Torre, Margherita Napoli, Mimmo Parente	The word problem for visibly pushdown languages described by grammars.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Visibly pushdown grammars, XML, Verification
21	Thomas A. Henzinger	Quantitative Generalizations of Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
21	José M. Sempere	Learning Reversible Languages with Terminal Distinguishability.	ICGI	2006	DBLP DOI BibTeX RDF
21	Salvatore La Torre, Margherita Napoli, Mimmo Parente	On the Membership Problem for Visibly Pushdown Languages.	ATVA	2006	DBLP DOI BibTeX RDF
21	Arseny M. Shur	Factorial Languages of Low Combinatorial Complexity.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
21	Chong-Won Lee, Jongdae Han, Jaekeun Shim, Chunwoo Lee, Taeksu Kim, Yoohoon Kang, Byungjeong Lee, Chisu Wu	Extending UML for Development of Distributed Control Systems with Heterogeneous Languages.	SERA	2006	DBLP DOI BibTeX RDF
21	Vladimir A. Fomichov	Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations.	EC-Web	2005	DBLP DOI BibTeX RDF
21	Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel	A Realistic Architecture for the Semantic Web.	RuleML	2005	DBLP DOI BibTeX RDF
21	K. S. Dersanambika, Kamala Krithivasan, Carlos Martín-Vide, K. G. Subramanian 0001	Hexagonal Pattern Languages.	IWCIA	2004	DBLP DOI BibTeX RDF
21	Lila Kari, Stavros Konstantinidis, Petr Sosík	Bond-Free Languages: Formalizations, Maximality and Construction Methods.	DNA	2004	DBLP DOI BibTeX RDF
21	Martin Kutrib, Andreas Malcher, Detlef Wotschke	The Boolean Closure of Linear Context-Free Languages.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
21	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
21	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
21	Alan Nash, Russell Impagliazzo, Jeffrey B. Remmel	Universal Languages and the Power of Diagonalization.	CCC	2003	DBLP DOI BibTeX RDF
21	Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr	Beyond AOP: toward naturalistic programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	cognitive foundations of programming, aspect-oriented programming, natural language, language design
21	Aftab Ahmad, Muhammad Talha	A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages.	APSEC	2002	DBLP DOI BibTeX RDF
21	François Denis, Aurélien Lemay, Alain Terlutte	Some Classes of Regular Languages Identifiable in the Limit from Positive Data.	ICGI	2002	DBLP DOI BibTeX RDF
21	Daniel Reidenbach	A Negative Result on Inductive Inference of Extended Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
21	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
21	Michal Parnas, Dana Ron, Ronitt Rubinfeld	Testing Parenthesis Languages.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
21	Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce	Deductive Parsing of Visual Languages.	LACL	2001	DBLP DOI BibTeX RDF
21	Patricia Bouyer, Antoine Petit 0001, Denis Thérien	An Algebraic Characterization of Data and Timed Languages.	CONCUR	2001	DBLP DOI BibTeX RDF
21	Reidar Conradi, Maria Letizia Jaccheri	Process Modelling Languages.	Software Process: Principles, Methodology, Technology	1999	DBLP DOI BibTeX RDF
21	José Ruiz 0001, Salvador España Boquera, Pedro García 0001	Locally Threshold Testable Languages in Strict Sense: Application to the Inference Problem.	ICGI	1998	DBLP DOI BibTeX RDF
21	Gennaro Costagliola, Andrea De Lucia, Sergio Orefice	Towards Efficient Parsing of Diagrammatic Languages.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
21	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	A Trace Semantics for Petri Nets (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
21	Rainer Manthey	Declarative Languages - Paradigm of the Past or Challenge of the Future?	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
21	Naomi S. Baron	The future of computer languages: implications for education.	SIGCSE	1986	DBLP DOI BibTeX RDF
21	Juris Hartmanis, Neil Immerman	On Complete Problems for NP$\cap$CoNP.	ICALP	1985	DBLP DOI BibTeX RDF
21	Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli	On the scope of static checking in definitional languages.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
21	Detlef Wotschke	The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
21	Anneke Kleppe	Towards the Generation of a Text-Based IDE from a Language Metamodel.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	text-based languages, compilers, generation, domain specific languages, metamodeling, parsing, IDE
21	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Termination Proofs for String Rewriting Systems via Inverse Match-Bounds.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	match-bounded, inhibitor, termination, normalization, reachability, regular languages, context-free languages, semi-Thue systems, string rewriting systems
21	Tomas Kalibera, Petr Tuma 0001	Distributed Component System Based on Architecture Description: The SOFA Experience.	OTM	2002	DBLP DOI BibTeX RDF	component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures
21	William G. Griswold	Comments on "Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language