|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joost Visser 0001, Victor Winter 0001 (eds.) |
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007  |
RULE@RDP  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Malte Appeltauer, Günter Kniesel |
Towards Concrete Syntax Patterns for Logic-based Transformation Rules. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Tool for Programming with Interaction Nets. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Visser 0001, Victor L. Winter |
Preface. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Rewriting Strategies in Java. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari |
Maude as a Platform for Designing and Implementing Deep Inference Systems. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Demis Ballis, Andrea Baruzzo, Marco Comini |
A Rule-based Method to Match Software Patterns Against UML Models. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Hélène Kirchner |
A Rewriting Calculus for Multigraphs with Ports. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gurvan Le Guernic, Julien Perret |
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Guerrero, Ginés Moreno |
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Narciso Martí-Oliet (eds.) |
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005 |
RULE@RDP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Horatiu Cirstea, Narciso Martí-Oliet |
Preface. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Aktemur, Samuel N. Kamin |
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo |
Typed Mobile Ambients in Maude. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Trygve Kalleberg, Eelco Visser |
Combining Aspect-Oriented and Strategic Programming. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Liliana Ibanescu, Hélène Kirchner |
From Chemical Rules to Term Rewriting. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Hasebe, Mitsuhiro Okada |
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Abdennadher, Christophe Ringeissen |
Preface. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Chevalier, Laurent Vigneron |
Rule-based Programs Describing Internet Security Protocols. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Albrecht, Andreas C. Döring |
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
Strategy Construction in the Higher-Order Framework of TL. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
Principles of Chemical Programming. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation for Maude. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Ohsaki, Toshinori Takai |
ACTAS : A System Design for Associative and Commutative Tree Automata Theory. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Moreno Falaschi |
A Rewriting-based Framework for Web Sites Verification. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo |
Playing with Maude. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Giavitto, Pierre-Etienne Moreau |
Preface. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radoslaw Karwowski, Przemyslaw Prusinkiewicz |
Design and Implementation of the L+C Modeling Language. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation by Program Transformation. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
OnDemandOBJ: A Laboratory for Strategy Annotations. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Éric Monfroy |
Deductive Generation of Constraint Propagation Rules. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cohen |
Typing rule-based transformations over topological collections. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Otto Skrove Bagge, Magne Haveraaen |
Domain-Specific Optimisation with User-Defined Rules in CodeBoost. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Translating Combinatory Reduction Systems into the Rewriting Calculus. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana |
A Tool Support for Reusing ELAN Rule-Based Components. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license