Search results for "tupling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
133	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano	Tupling Calculation Eliminates Multiple Data Traversals.	ICFP	1997	DBLP DOI BibTeX RDF
121	Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee	Synchronisation Analysis to Stop Tulping.	ESOP	1998	DBLP DOI BibTeX RDF
73	Soledad González, Ginés Moreno	Improved Tupling for Optimizing Multi-paradigm Declarative Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
73	Wei-Ngan Chin, Zhenjiang Hu	Towards a Modular Program Derivation via Fusion and Tupling.	GPCE	2002	DBLP DOI BibTeX RDF
73	Wei-Ngan Chin	Towards an Automated Tupling Strategy.	PEPM	1993	DBLP DOI BibTeX RDF
69	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
61	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
61	Ginés Moreno	Automatic Optimization of Multi-paradigm Declarative Programs.	IBERAMIA	2002	DBLP DOI BibTeX RDF
52	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Construction of List Homomorphisms by Tupling and Fusion.	MFCS	1996	DBLP DOI BibTeX RDF
48	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
32	Irmina Walawska, Daniel Wilczak	Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
32	Paul Tarau	Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
32	Paul Tarau	Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection.	ICLP (Technical Communications)	2012	DBLP DOI BibTeX RDF
32	Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama	Program Transformation Templates for Tupling Based on Term Rewriting.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
32	Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones	Redundant Call Elimination via Tupling.	Fundam. Informaticae	2006	DBLP BibTeX RDF
32	Michael F. Buckley, Daniel P. Siewiorek	A Comparative Analysis of Event Tupling Schemes.	FTCS	1996	DBLP DOI BibTeX RDF
32	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Cheap Tupling in Calculational Form.	PLILP	1996	DBLP DOI BibTeX RDF
32	Wei-Ngan Chin, Siau-Cheng Khoo	Tupling Functions with Multiple Recursion Parameters.	WSA	1993	DBLP DOI BibTeX RDF
32	Akihiko Koga	On Program Transformation with Tupling Technique.	RIMS Symposia on Software Science and Engineering	1984	DBLP DOI BibTeX RDF
28	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
28	Janis Voigtländer	Using circular programs to deforest in accumulating parameters.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	accumulating parameters, intermediate data structures, lazy composition, multiple traversals, program transformation, lazy evaluation, tupling, deforestation, circular programs
28	Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa	Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.	ICFP	2000	DBLP DOI BibTeX RDF	maximum-weightsum problem, mutumorphism, fusion, tupling, linear-time algorithm, program calculation
20	Akimasa Morihata, Kazuhiko Kakehi 0001, Zhenjiang Hu, Masato Takeichi	Swapping Arguments and Results of Recursive Functions.	MPC	2006	DBLP DOI BibTeX RDF
20	Abbas Edalat, André Lieutier, Dirk Pattinson	A Computational Model for Multi-variable Differential Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
20	Ernie Cohen	TAPS: The Last Few Slides.	FASec	2002	DBLP DOI BibTeX RDF
20	Michael Leuschel, Stefan Gruner	Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.	LOPSTR	2001	DBLP DOI BibTeX RDF
20	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	list homomorphism, parallel functional programming, program transformation and derivation
20	Halime Büyükyildiz, Pierre Flener	Generalised Logic Program Transformation Schemas.	LOPSTR	1997	DBLP DOI BibTeX RDF
20	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
20	Alberto Pettorossi, Andrzej Skowron	Higher Order Generalization in Program Derivation.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF