On the Correctness of the Factoring Transformation (English)
- New search for: Iranzo, P. J.
- New search for: Iranzo, P. J.
- New search for: Hu, Z.
- New search for: Rodriguez Artalejo, M.
In:
Functional and logic programming
;
119-133
;
2002
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:On the Correctness of the Factoring Transformation
-
Contributors:
-
Conference:International symposium; 6th, Functional and logic programming ; 2002 ; Aizu, Japan
-
Published in:Functional and logic programming ; 119-133LECTURE NOTES IN COMPUTER SCIENCE ; 119-133
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2002-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Formal Methods in CafeOBJFutatsugi, K. et al. | 2002
- 21
-
The Essence of XML (Preliminary Version)Simeon, J. / Wadler, P. et al. | 2002
- 47
-
To the Gates of HAL: A HAL Tutorialde la Banda, M. G. / Demoen, B. / Marriott, K. / Stuckey, P. J. et al. | 2002
- 67
-
Functional Logic Design PatternsAntoy, S. / Hanus, M. et al. | 2002
- 88
-
On Consistency and Width Notions for Constraint Programs with Algebraic ConstraintsMeer, K. et al. | 2002
- 103
-
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand TermsGarcia-Diaz, M. / Nieva, S. et al. | 2002
- 119
-
On the Correctness of the Factoring TransformationIranzo, P. J. et al. | 2002
- 134
-
Lambda-Lifting in Quadratic TimeDanvy, O. / Schultz, U. P. et al. | 2002
- 152
-
The Well-Founded Semantics in Normal Logic Programs with UncertaintyLoyer, Y. / Straccia, U. et al. | 2002
- 167
-
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda CalculusHasegawa, M. et al. | 2002
- 183
-
Coinductive Interpreters for Process CalculiBarbosa, L. S. / Oliveira, J. N. et al. | 2002
- 198
-
Descendants and Head Normalization of Higher-Order Rewrite SystemsKasuya, H. / Sakai, M. / Agusa, K. et al. | 2002
- 212
-
Narrowing Failure in Functional Logic ProgrammingLopez-Fraguas, F. J. / Sanchez-Hernandez, J. et al. | 2002
- 228
-
The HiPE/x86 Erlang Compiler: System Description and Performance EvaluationPettersson, M. / Sagonas, K. / Johansson, E. et al. | 2002
- 245
-
Dynamic-Cut with Definitional TreesCaballero, R. / Lopez-Fraguas, F. J. et al. | 2002
- 259
-
The Head Condition and Polymorphic RecursionSmaus, J.-G. et al. | 2002
- 275
-
Structural Abstraction and Application in Logic ProgrammingPorto, A. et al. | 2002
- 290
-
VMLambda: A Functional Calculus for Scientific DiscoverySumii, E. / Bannai, H. et al. | 2002