Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Comput. Lang."( http://dblp.L3S.de/Venues/Comput._Lang. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/cl

Publication years (Num. hits)
1976 (24) 1977-1978 (29) 1979-1980 (24) 1981-1982 (24) 1983-1984 (25) 1985-1986 (27) 1987-1988 (26) 1989 (21) 1990 (17) 1991 (17) 1992 (18) 1993 (35) 1994 (17) 1995-1996 (29) 1997-1998 (19) 1999-2000 (21) 2001 (9)
Publication types (Num. hits)
article(382)
Venues (Conferences, Journals, ...)
Comput. Lang.(382)
Authors
Daniel P. Friedman(9) Y. N. Srikant(9) Robert S. Ledley(7) Daniel M. Berry(6) Carlo Ghezzi(5) David T. Barnard(5) Paul A. Bailes(5) Ronald A. Olsson(5) Dhananjay M. Dhamdhere(4) Dino Mandrioli(4) James R. Cordy(4) Narain H. Gehani(4) Ralph E. Griswold(4) Arthur C. Fleck(3) Augusto Celentano(3) Carl McCrosky(3) More (+10 of total 536)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 382 publication records. Showing 382 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens Object-oriented modelling and specification using SHE. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Franz Puntigam State inference for dynamically changing interfaces. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nikolai Mansurov Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni LAILA: a language for coordinating abductive reasoning among logic agents. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Karsten Lüth Visual temporal logic as a rapid prototyping tool. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Argos: an automaton-based synchronous language. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul Oude Luttighuis, Marc M. Lankhorst, R. G. van de Wetering, René Bal, Harmen van den Berg Visualising business processes. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sjouke Mauw Introduction by the guest editor. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs Languages for formalizing, visualizing and verifying software architectures. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Giovambattista Ianni, Luigi Palopoli 0001, Andrea Schaerf, Domenico Vasile NP-SPEC: an executable specification language for solving all problems in NP. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Annalisa Bossi, Sandro Etalle, Sabina Rossi Semantics of well-moded input-consuming logic programs. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Paolo Ciancarini, Daniela Fogli, Mauro Gaspari A declarative coordination language. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mauro Mosconi, Marco Porta Iteration constructs in data-flow visual programming languages. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Guy Tremblay Lenient evaluation is neither strict nor lazy. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Guy Tremblay, Bruno Malenfant Lenient evaluation and parallelism. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro Associative definition of programming languages. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jimmy Ho-Man Lee, Ho-fung Leung An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Weng-Fai Wong Optimizing floating point operations in Scheme. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kasper Østerbye, Wolfgang Kreutzer Synchronization abstraction in the BETA programming language. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ravi K. Gedela, Sol M. Shatz, Haiping Xu Compositional Petri net models of advanced tasking in Ada-95. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Wuu Yang A finest partitioning algorithm for attribute grammars. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1A. C. Reeves, Charles Rattray A Sketch-Based Technique for the Derivation of Self-Interpreters. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert S. Ledley Review: Countdown Y2K; Peter de Jager, Richard Bergeon. John Wiley & Sons, Inc. ISBN: 0-471-32734-4. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krishnaprasad Thirunarayan, Günter Kniesel, Haripriyan Hampapuram Simulating multiple inheritance and generics in Java. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert S. Ledley Review: Mobile Processing in Distributed and Open Environments; Peter Sapaty. John Wiley and Sons, Inc. ISBN: 0-471-19572-3. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert S. Ledley Review: 3-Tier Client/Server at Work Revised Edition; By Jeri Edwards. John Wiley & Sons, Inc. ISBN: 0-471-31502-8. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mostafa A. Bassiouni, M. Llevellyn Extending Temporal Query Languages to Handle Imprecise Time Intervals. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert S. Ledley Review: Building Microsoft SQL Server 7 Applications with COM; By Sanjiv Purba. John Wiley & Sons, Inc. ISBN: 0-471-19233-3. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Chiara Renso, Franco Turini Dynamic composition of parameterised logic modules. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert S. Ledley Review: Building N-Tier Applications with COM And Visual Basic 6.0; Ash Rofail, Tony Martin. John Wiley & Sons, Inc. ISBN: 0-471-29549-3. Search on Bibsonomy Comput. Lang. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stéphane Vialle, Yannick Lallement, Thierry Cornu Design and Implementation of a Parallel Cellular Language for MIMD Architectures. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Corrado Priami LR Techniques for Handling Syntax Errors. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Daniel E. Cooke SequenceL Provides a Different Way to View Programming. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Muhammed Al-Mulhem, Shahid Ali Formal Semantics of Visual Occam. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Branching-Time Logic Programming: The Language Cactus and its Applications. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Giuseppe Psaila Grammar Partitioning and Modular Deterministic Parsing. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Owen Kaser, C. R. Ramakrishnan 0001 Evaluating Inlining Techniques. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chung-Kwong Yuen, Ming-Dong Feng Active Objects as Atomic Control Structures in BaLinda K. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christoph W. Keßler Scheduling Expression DAGs for Minimal Register Need. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bharat Jayaraman, Kannan Govindarajan, Surya Mantha Preference Logic Grammars. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mandy Chung, Ronald A. Olsson New Mechanisms for Invocation Handling in Concurrent Programming Languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1James Harland On goal-directed provability in classical logic. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Manuel M. T. Chakravarty, Hendrik C. R. Lock Towards the Uniform Implementation of Declarative Languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Muhammed Al-Mulhem, Shahid Ali Visual Occam: Syntax and Sematics. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky Practical Exception Handling and Resolution in Concurrent Programs. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Hanus Lazy Narrowing with Simplification. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Göran Falkman Program Separation and Definitional Higher Order Programming. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Manuel Díaz, Bartolomé Rubio, José M. Troya DRL: A Distributed Real-Time Logic Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1J. H. M. Lee, P. K. C. Pun Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Gopal Gupta 0001, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Olivier Michel Design and Implementation of 8_½: A Declarative Data-Parallel Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stuart E. Mitchell, Andy J. Wellings Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Heping He, Hussein Zedan An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wuu Yang Mealy Machines are a Better Model of Lexical Analyzers. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Carole M. McNamee, William A. Crow Inter-Entry Selection Control Mechanisms: Implementation and Evaluation. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jean-Marie Jacquet, Luís Monteiro Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ming-Dong Feng, Weng-Fai Wong, Chung-Kwong Yuen BaLinda Lisp: Design and Implementation. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Steven L. Jenkins, Gary T. Leavens Polymorphic Type-Checking in Scheme. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Steven J. Drew Fail-Safety Techniques and their Extensions to Concurrent Systems. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1S. Mansoor Sarwar, Syed Aqeel Sarwar, Mansour H. A. Jaragh, Jesse Brandeburg Engineering Quicksort. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Hamish Taylor Assembling a Resolution Multiprocessor from Interface Programming and Distributed Processing Components. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello Distributed Logic Objects. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Manuel Carro Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paolo Ciancarini, Mauro Gaspari Rule-Based Coordination of Logic Programs. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Warren X. Li Building Efficient Incremental LL Parsers by Augmenting LL Tables and Threading Parse Trees. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kam-Wing Ng, Chi-Keung Luk I+: A Multiparadigm Language for Object-Oriented Declarative Programming. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Christoph W. Keßler, Thomas Rauber Generating Optimal Contiguous Evaluations for Expression DAGs. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wolfgang Golubski, Wolfram-Manfred Lippe A Complete Semantics for SMALLTALK-80. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1R. Venugopal, Y. N. Srikant Scheduling Expression Trees with Reusable Registers on Delayed-Load Architectures. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Albert Nymeyer A Grammatical Specification of Human-Computer Dialogue. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Mansoor Al-A'Ali, Mohammed Hamid Design of an Arabic Programming Language (ARABLAN). Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kelvin S. Bryant, Jon Mauney GRAS: A General Framework for Combining Automatic Code Generation and Register Allocation. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roberto Ierusalimschy, Noemi de La Rocque Rodriguez Side-Effect Free Functions in Object-Oriented Languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky Conversations of Objects. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee Semantic Issues in the Design of Languages for Debugging. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1James M. Purtilo, Thomas M. Swiss, Elizabeth L. White Extracting Program Structure for Packaging in a Component-Based Environment. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wayne Citrin, Alistair Cockburn Carla: A Rule Language for Specifying Communications Architectures. Search on Bibsonomy Comput. Lang. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Johann Blieberger Discrete Loops and Worst Case Performance. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ken Sailor, Carl McCrosky A Practical Approach to Type-Sensitive Parsing. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1B. Pradeep, C. Siva Ram Murthy Parallel Arithmetic Expression Evaluation on Reconfigurable Meshes. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1N. Viswanathan, Y. N. Srikant Parallel Incremental LR Parsing. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Steven J. Drew, K. John Gough Exception Handling: Expecting the Unexptected. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pieter H. Hartel, Willem G. Vree Experiments wiht Destructive Updates in a Lazy Functional Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Janos J. Sarbo Grammar Transformations for Optimizing Backtrack Parsers. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leo Yuhsiang Liu, R. K. Shyamasundar RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1B. Pradeep, C. Siva Ram Murthy Parallel Recognition and Parsing on Mesh Connected Computers with Multiple Broadcasting. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gudula Rünger, Kurt Sieber A Process Oriented Semantics of the PRAM-Language FORK. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Teodor Rus, Tom Halverson Algebraic Tools for Language Processing. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1U. Nagaraj Shenoy, Y. N. Srikant, Vijay P. Bhatkar An Automatic Parallelization Framework for Multicomputers. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gregory F. Johnson, Dominic Duggan First-Class Stores and Partial Continuations in a Programming Language and Environment. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson Implementing Polymorphic Typing in a Logic Programming Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1S. Mansoor Sarwar, Mansour H. A. Jaragh, Mike Wind An Empirical Study of the Run-Time Behavior of Quicksort, Shellsort and Mergesort for Medium to Large Size Data. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jun Shen, Gordon V. Cormack Access Control for Private Declarations in Ada. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Julia Anne Dain A Practical Minimum Distance Method for Syntax Error Handling. Search on Bibsonomy Comput. Lang. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1K. H. Shekhar, Y. N. Srikant Linda Sub System on Transputers. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1S. Mansoor Sarwar Run-Time Behavior of SASL Programs: A Performance Study. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Paul A. Bailes, Trevor Chorvat Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Stephen S. Yau, Jacob V. Gore Constraint-Driven Programming in Strongly-Typed Object-Oriented Languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Angelika Zobel Program Structure as Basis for the Parallelization of Global Register Allocation. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 382 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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