Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
321	Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:31 Automata theory Diagrams UML diagrams Digital electronics Computing UML state machine State diagram Graph rewriting Finite-state machine Models of computation Software engineering Theoretical computer science
322	A new Meta-Model for Story Diagrams ∗ ∗ Christian Heinzemann , Jan Rieke , Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:35:54 ISO standards Object-oriented programming Systems Modeling Language Graph rewriting Unified Modeling Language Metaclass Diagram Activity diagram Object diagram Software Computing UML diagrams
323	The WAC Journal, Vol. 18: Septemberreview A Host at the Parlor: a Review of Rewriting: How to Do Things with Texts Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-01-05 10:17:05 Narratology Richard Rorty Rewriting Philosophy Humanities Rhetoric Linguistics Critical thinking
324	Inequalities on Submodular Functions via Term Rewriting Yuval Filmusa,1,∗ a University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-03-30 16:29:36 Order theory Supermodular function Forcing Mathematics Submodular set function Function
325	Streaming XML transformations using term rewriting Alain Frisch Keisuke Nakano INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-10-09 03:48:51 Transformation languages XML XML transformation language Technical communication XSLT XQuery LL parser Stack Preprocessor Computing Markup languages Functional languages
326	Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study Christian Heinzemann1 , Julian Suck1 , Ruben Jubeh2 , Albert Z¨ undorf2 1 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:16 Models of computation Diagrams UML diagrams Graph rewriting State diagram Topology Reachability Graph Graph theory Mathematics Theoretical computer science
327	Interpreting Story Diagrams for the Static Detection of Software Patterns Markus Fockel, Dietrich Travkin, Markus von Detten Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, German Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:51 Data modeling Diagrams Computing Knowledge representation Graph rewriting Software design pattern Regular expression Meta-Object Facility Activity diagram Software engineering ISO standards Unified Modeling Language
328	Query Reformulation with Constraints∗ Alin Deutsch University of California at San Diego Lucian Popa Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:34 Data Theoretical computer science Conjunctive query Data integration SQL Relational model Bin View Rewriting Database theory Data management Database management systems
329	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
330	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics

UPDATE