Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Laurent Granvilliers, Éric Monfroy |
Constraint Propagation: Between Abstract Models and ad hoc Strategies. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001 |
A de Bruijn Notation for Higher-Order Rewriting. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Burghard von Karger |
Temporal Algebra. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yukiyoshi Kameyama |
A Type-Theoretic Study on Partial Continuations. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Kajal T. Claypool, Chandrakant Natarajan, Elke A. Rundensteiner |
Optimizing Performance of Schema Evolution Sequences. |
Objects and Databases |
2000 |
DBLP DOI BibTeX RDF |
Optimization, Object-Oriented Databases, Schema Evolution |
10 | Michel Parigot |
Strong Normalization of Second Order Symmetric lambda-Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Uwe Aßmann, Andreas Ludwig |
Aspect Weaving with Graph Rewriting. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ali Behforooz, Frederick Hudson |
Software Engineering for Real-Time High Reliability Applications. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Masahiko Sato 0001, Takafumi Sakurai, Rod M. Burstall |
Explicit Environments. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Serenella Cerrito, Delia Kesner |
Pattern Matching as Cut Elimination. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio |
Paramodulation with Non-Monotonic Orderings. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
term rewriting, automated deduction |
10 | Gilles Barthe, Maria João Frade |
Constructor Subtyping. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Mary Lou Soffa |
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Andreas Jakoby |
The Average Time Complexity to Compute Prefix Functions in Processor Networks. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
10 | Femke van Raamsdonk |
Higher-Order Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Aart Middeldorp |
Term Rewriting. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Friedrich Otto |
On S-Regular Prefix-Rewriting Systems and Automatic Structures. |
COCOON |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Jacques Lévy, Luc Maranget |
Explicit Substitutions and Programming Languages. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà |
Active-U-Datalog: Integrating Active Rules in a Logical Update Language. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Panos Kardasis, Pericles Loucopoulos |
Aligning Legacy Information Systems to Business Processes. |
CAiSE |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Peter Heller |
Hardware/Software Co-Design: The Next Embedded System Design Challenge (Panel). |
DAC |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Naoki Kobayashi 0001 |
A Partially Deadlock-Free Typed Process Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Nachum Dershowitz |
When are Two Rewrite Systems More than None? |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
10 | John A. Stankovic, Sang Hyuk Son, Jörg Liebeherr |
BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications. |
ARTDB |
1997 |
DBLP DOI BibTeX RDF |
|
10 | James Bailey 0001, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard |
Abstract Interpretation of Active Rules and its Use in Termination Analysis. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Steven O. Kimbrough, William J. Vachula |
Towards a Logic Model for Object-Oriented Systems Analysis and Design. |
HICSS (5) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Luc Bougé, David Cachera |
A logical framework to prove properties of Alpha programs. |
ASAP |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Anna Philippou, David Walker 0008 |
A Rigorous Analysis of Concurrent Operations on B-Trees. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Nachum Dershowitz |
Innocuous Constructor-Sharing Combinations. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Raymond K. Wong 0001, H. Lewis Chau |
Method Dispatching and Type Safety for Objects with Multiple Roles. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
objects with roles, type calculus, object-oriented databases |
10 | Massimo Marchiori |
On the Expressive Power of Rewriting. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Benhamou |
Heterogeneous Constraint Solving. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Tobias Nipkow |
More Church-Rosser Proofs (in Isabelle/HOL). |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Wayne Snyder, James G. Schmolze |
Rewrite Semantics for Production Rule Systems: Theory and Applications. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Gramlich |
On Proving Termination by Innermost Termination. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Lüth |
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Gilles Barthe, Paul-André Melliès |
On the Subject Reduction Property for Algebraic Type Systems. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
Relative Undecidability in Term Rewriting. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
Precise Interprocedural Dataflow Analysis via Graph Reachability. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
10 | David R. Sutton, Carol Small |
Extending Functional Database Languages to Update Completeness. |
BNCOD |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Anna Philippou, David Walker 0008 |
On Sharing and Determinacy in Concurrent Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Marc DeBaud, Spencer Rugaber |
A software re-engineering method using domain models. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
software re-engineering method, software reengineering technology, executable domain model, target artifact, abstract domain driven representation, artifact evolution, future work, reverse engineering, reverse engineering, object-oriented programming, systems analysis, program comprehension, domain models, object oriented framework, domain analysis, systems re-engineering, program evolution |
10 | Susan B. Davidson, Anthony Kosky, Barbara A. Eckman |
Facilitating Transformations in a Human Genome Project Database. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Jürgen Avenhaus, Carlos Loría-Sáenz |
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Sergio Antoy, Aart Middeldorp |
A Sequential Reduction Strategy. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Delia Kesner |
Reasoning about Layered, Wildcard and Product Patterns. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Robert Muller |
A Staging Calculus and its Application to the Verification of Translators. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval |
Correctness of Automated Distribution of Sequential Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics |
10 | Jean H. Gallier |
Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract). |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Walter Dosch |
Reduction Relations in Strict Applicative Language. |
ISTCS |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Berthold Hoffmann |
Term Rewriting with Sharing and Memoïzation. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Gramlich |
Generalized Sufficient Conditions for Modular Termination of Rewriting. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Stephen Ponzio, Ray Strong |
Semisynchrony and Real-Time (Extended Abstract). |
WDAG |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Michel Parigot |
Free Deduction: An Analysis of "Computations" in Classical Logic. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Mutz |
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Larry Kerschberg |
Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract). |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Anne-Cécile Caron |
Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy Gunawardena |
Geometric Logic, Causality and Event Structures. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Maria Paola Bonacina, Jieh Hsiang |
On Fairness of Completion-Based Theorem Proving Strategies. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Aart Middeldorp, Yoshihito Toyama |
Completeness of Combinations of Constructor Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Françoise Bellegarde |
Program Transformation and Rewriting. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Ralph W. Wilkerson, Blayne E. Mayfield |
The Role of Term Symmetry in E-Completion Procedures. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Rakesh M. Verma, I. V. Ramakrishnan |
Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | James A. Altucher, Prakash Panangaden |
A Mechanically Assisted Constructive Proof in Category Theory. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Peter Padawitz |
Inductive Proofs by Resolution and Paramodulation. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Christiane Frougny |
Linear Numeration Systems, Theta-Developments and Finite Automata. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Jürgen Avenhaus, Dieter Wissmann |
Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar |
Canonical Conditional Rewrite Systems. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Wadoud Bousdira, Jean-Luc Rémy |
Hierarchical Contextual Rewriting with Several Levels. |
STACS |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Stéphane Kaplan |
Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Françoise Bellegarde, Pierre Lescanne |
Transformation Ordering. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Jieh Hsiang, Michaël Rusinowitch |
On Word Problems in Equational Theories. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Zhenyu Qian |
Structured Contextual Rewriting. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Stéphane Kaplan |
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|