| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John C. Lusth |
Unified selection from lists, arrays, and objects.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuu Yang, Chey-Woei Tsay, Jien-Tsai Chan |
On the applicability of the longest-match rule in lexical analysis.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù |
An optimal data structure to handle dynamic environments in non-deterministic computations.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen |
Orderly communication in the Ambient Calculus.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Woo Hyong Lee, Ji-en Morris Chang |
A study of dynamic memory management in C++ programs.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina D. Ururahy, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
ALua: flexibility for parallel programming.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Riccardo Focardi |
Computer languages and security.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar |
Distributed call-tracking for security.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Security boundaries in mobile ambients.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna |
Behavioural typing for safe ambients.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Chris Hankin, Sebastian Hunt |
Information flow for Algol-like languages.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jien-Tsai Chan, Wuu Yang |
An attribute-grammar framework for specifying the accessibility in Java programs.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw |
Introduction by the guest editor.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
State inference for dynamically changing interfaces.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Karsten Lüth |
Visual temporal logic as a rapid prototyping tool.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Maraninchi, Yann Rémond |
Argos: an automaton-based synchronous language.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs |
Languages for formalizing, visualizing and verifying software architectures.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
LAILA: a language for coordinating abductive reasoning among logic agents.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Oude Luttighuis, Marc M. Lankhorst, R. G. van de Wetering, René Bal, Harmen van den Berg |
Visualising business processes.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens |
Object-oriented modelling and specification using SHE.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Mansurov |
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Mosconi, Marco Porta |
Iteration constructs in data-flow visual programming languages.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay, Bruno Malenfant |
Lenient evaluation and parallelism.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Associative definition of programming languages.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay |
Lenient evaluation is neither strict nor lazy.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile |
NP-SPEC: an executable specification language for solving all problems in NP.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A declarative coordination language.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of well-moded input-consuming logic programs.  |
Comput. Lang.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnaprasad Thirunarayan, Günter Kniesel, Haripriyan Hampapuram |
Simulating multiple inheritance and generics in Java.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert 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.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Compositional Petri net models of advanced tasking in Ada-95.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Østerbye, Wolfgang Kreutzer |
Synchronization abstraction in the BETA programming language.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuu Yang |
A finest partitioning algorithm for attribute grammars.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa A. Bassiouni, M. Llevellyn |
Extending Temporal Query Languages to Handle Imprecise Time Intervals.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Reeves, Charles Rattray |
A Sketch-Based Technique for the Derivation of Self-Interpreters.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Ledley |
Review: 3-Tier Client/Server at Work Revised Edition; By Jeri Edwards. John Wiley & Sons, Inc. ISBN: 0-471-31502-8.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ho-fung Leung |
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Ledley |
Review: Countdown Y2K; Peter de Jager, Richard Bergeon. John Wiley & Sons, Inc. ISBN: 0-471-32734-4.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Ledley |
Review: Building Microsoft SQL Server 7 Applications with COM; By Sanjiv Purba. John Wiley & Sons, Inc. ISBN: 0-471-19233-3.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Ledley |
Review: Mobile Processing in Distributed and Open Environments; Peter Sapaty. John Wiley and Sons, Inc. ISBN: 0-471-19572-3.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | W. F. Wong |
Optimizing floating point operations in Scheme.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Chiara Renso, Franco Turini |
Dynamic composition of parameterised logic modules.  |
Comput. Lang.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Vialle, Yannick Lallement, Thierry Cornu |
Design and Implementation of a Parallel Cellular Language for MIMD Architectures.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharat Jayaraman, Kannan Govindarajan, Surya Mantha |
Preference Logic Grammars.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammed Al-Mulhem, Shahid Ali |
Formal Semantics of Visual Occam.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Kaser, C. R. Ramakrishnan |
Evaluating Inlining Techniques.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kwong Yuen, Ming-Dong Feng |
Active Objects as Atomic Control Structures in BaLinda K.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph W. Keßler |
Scheduling Expression DAGs for Minimal Register Need.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
LR Techniques for Handling Syntax Errors.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Giuseppe Psaila |
Grammar Partitioning and Modular Deterministic Parsing.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandy Chung, Ronald A. Olsson |
New Mechanisms for Invocation Handling in Concurrent Programming Languages.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos |
Branching-Time Logic Programming: The Language Cactus and its Applications.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
SequenceL Provides a Different Way to View Programming.  |
Comput. Lang.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
Towards the Uniform Implementation of Declarative Languages.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Lazy Narrowing with Simplification.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Díaz, Bartolomé Rubio, José M. Troya |
DRL: A Distributed Real-Time Logic Language.  |
Comput. Lang.  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Muhammed Al-Mulhem, Shahid Ali |
Visual Occam: Syntax and Sematics.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Göran Falkman |
Program Separation and Definitional Higher Order Programming.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Romaovsky |
Practical Exception Handling and Resolution in Concurrent Programs.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | J. H. M. Lee, P. K. C. Pun |
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language.  |
Comput. Lang.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Warren X. Li |
Building Efficient Incremental LL Parsers by Augmenting LL Tables and Threading Parse Trees.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamish Taylor |
Assembling a Resolution Multiprocessor from Interface Programming and Distributed Processing Components.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Dong Feng, Weng-Fai Wong, Chung-Kwong Yuen |
BaLinda Lisp: Design and Implementation.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven L. Jenkins, Gary T. Leavens |
Polymorphic Type-Checking in Scheme.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Mauro Gaspari |
Rule-Based Coordination of Logic Programs.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello |
Distributed Logic Objects.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart E. Mitchell, Andy J. Wellings |
Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven J. Drew |
Fail-Safety Techniques and their Extensions to Concurrent Systems.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Michel |
Design and Implementation of 8_½: A Declarative Data-Parallel Language.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuu Yang |
Mealy Machines are a Better Model of Lexical Analyzers.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole M. McNamee, William A. Crow |
Inter-Entry Selection Control Mechanisms: Implementation and Evaluation.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Manuel Carro |
Relating Data-Parallelism and (and-) Parallelism in Logic Programs.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Mansoor Sarwar, Syed Aqeel Sarwar, Mansour H. A. Jaragh, Jesse Brandeburg |
Engineering Quicksort.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini |
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo |
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.  |
Comput. Lang.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Nymeyer |
A Grammatical Specification of Human-Computer Dialogue.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin S. Bryant, Jon Mauney |
GRAS: A General Framework for Combining Automatic Code Generation and Register Allocation.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ierusalimschy, Noemi de La Rocque Rodriguez |
Side-Effect Free Functions in Object-Oriented Languages.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mansoor Al-A'Ali, Mohammed Hamid |
Design of an Arabic Programming Language (ARABLAN).  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky |
Conversations of Objects.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wayne Citrin, Alistair Cockburn |
Carla: A Rule Language for Specifying Communications Architectures.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | James M. Purtilo, Thomas M. Swiss, Elizabeth L. White |
Extracting Program Structure for Packaging in a Component-Based Environment.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Venugopal, Y. N. Srikant |
Scheduling Expression Trees with Reusable Registers on Delayed-Load Architectures.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee |
Semantic Issues in the Design of Languages for Debugging.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph W. Keßler, Thomas Rauber |
Generating Optimal Contiguous Evaluations for Expression DAGs.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | K. W. Ng, C. K. Luk |
I+: A Multiparadigm Language for Object-Oriented Declarative Programming.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Golubski, Wolfram-Manfred Lippe |
A Complete Semantics for SMALLTALK-80.  |
Comput. Lang.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory F. Johnson, Dominic Duggan |
First-Class Stores and Partial Continuations in a Programming Language and Environment.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Viswanathan, Y. N. Srikant |
Parallel Incremental LR Parsing.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | J. A. Dain |
A Practical Minimum Distance Method for Syntax Error Handling.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Pradeep, C. Siva Ram Murthy |
Parallel Recognition and Parsing on Mesh Connected Computers with Multiple Broadcasting.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Willem G. Vree |
Experiments wiht Destructive Updates in a Lazy Functional Language.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | S. 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.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Sailor, Carl McCrosky |
A Practical Approach to Type-Sensitive Parsing.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | U. Nagaraj Shenoy, Y. N. Srikant, Vijay P. Bhatkar |
An Automatic Parallelization Framework for Multicomputers.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven J. Drew, K. John Gough |
Exception Handling: Expecting the Unexptected.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Janos J. Sarbo |
Grammar Transformations for Optimizing Backtrack Parsers.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|