Search results for "Kristoffer Høgsbro Rose"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato	A Data Flow Language for Hybrid Query and Programming Languages.	FLOPS	2012	DBLP DOI BibTeX RDF
1	Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon	Commutativity analysis for XML updates.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	optimization, XML, XQuery, updates, commutativity
1	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	XML query optimization in the presence of side effects.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	optimization, xquery, xml, updates, algebra, side-effects
1	Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon	Commutativity Analysis in XML Update Languages.	ICDT	2007	DBLP DOI BibTeX RDF
1	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	A Better Semantics for XQuery with Side-Effects.	DBPL	2007	DBLP DOI BibTeX RDF
1	Kristoffer Høgsbro Rose, Susan Malaika, Robert J. Schloss	Virtual XML: A toolbox and use cases for the XML world view.	IBM Systems Journal	2006	DBLP DOI BibTeX RDF
1	Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard	Compiling XSLT 2.0 into XQuery 1.0.	WWW	2005	DBLP DOI BibTeX RDF	Web services, XML, XQuery, XSLT
1	Pierre Genevès, Kristoffer Høgsbro Rose	Compiling XPath for streaming access policy.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	static rewriting, compilation, streaming, XPath
1	Kristoffer Høgsbro Rose	The XML world view.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF
1	Eva Rose, Kristoffer Høgsbro Rose	Java access protection through typing.	Concurrency and Computation: Practice and Experience	2001	DBLP DOI BibTeX RDF
1	Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose	Normalization by evaluation with typed abstract syntax.	J. Funct. Program.	2001	DBLP DOI BibTeX RDF
1	Olivier Danvy, Kristoffer Høgsbro Rose	Higher-Order Rewriting and Partial Evaluation.	RTA	1998	DBLP DOI BibTeX RDF
1	Roel Bloo, Kristoffer Høgsbro Rose	Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.	RTA	1996	DBLP DOI BibTeX RDF
1	Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose	Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF	Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
1	Kristoffer Høgsbro Rose	Explicit Cyclic Substitutions.	CTRS	1992	DBLP DOI BibTeX RDF

Publications of "Kristoffer Høgsbro Rose" ( http://dblp.L3S.de/Authors/Kristoffer_Høgsbro_Rose )