Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
91	Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case Elina Kalnina Audris Kalnins Agris Sostaks Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-29 21:12:12 Graph theory Mathematics Discrete mathematics Graph rewriting Transformation language Graph Matching Directed graph Metamodeling Multigraph
92	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
93	Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1 , R.C. Holt 1 , and J.R. Cordy2 Dep’t. of Computer Science, University of Waterloo, Waterloo, Ontario 2 Dep’t. of Computing & Informa Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2001-07-02 11:19:54 Graph theory Discrete mathematics Mathematics Graphs Graph rewriting Relational algebra Graph Pattern matching Tree Signal-flow graph
94	A View Based Security Framework for XML Wenfei Fan Irini Fundulaki Floris Geerts Xibei Jia Add to Reading List Source URL: www.allhands.org.uk Language: English - Date: 2009-07-07 09:10:09 Computing Markup languages Data management Query languages Functional languages XPath XML schema XSLT XQuery XML tree EXist Query Rewriting
95	ALOHA LOAD BALANCER REWRITING HTTP RESPONSES “APPNOTE” #0008 ― REWRITING HTTP RESPONSES This application note is intended to help you apply rules for rewriting HTTP responses within the ALOHA Load Balancer solution Add to Reading List Source URL: www.haproxy.com Language: English - Date: 2014-04-28 06:44:17 Computing Software Network architecture Internet privacy Load balancing Network management Routing World Wide Web Apache HTTP Server HTTP cookie Hypertext Transfer Protocol X-Forwarded-For
96	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
97	Pattern Matching in MOLA Agris Sostaks IMCS University of Latvia, Latvia Abstract. This paper addresses the pattern matching problem for model Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2010-02-27 12:45:09 Software engineering Computer programming Graph rewriting VIATRA Pattern matching Transformation language Metamodeling GrGen Iterator Rete algorithm Foreach loop Mola
98	Algebraic Dynamic Programming 2.0 Robert Giegerich Faculty of Technology and Center for Biotechnology, Bielefeld University, 33594 Bielefeld, Germany H´el`ene Touzet Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Computational phylogenetics Operations research Formal languages Tree alignment Dynamic programming Generalized tree alignment Mathematical optimization Rewriting Bioinformatics Context-free grammar
99	Personalizing XML Search in PIMENTO Sihem Amer-Yahia Yahoo! Research USA Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 11:26:00 Query languages Data management XML retrieval Join Query Rewriting XPath
100	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML

UPDATE