المؤلفون: López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1209.2617

المؤلفون: López Fraguas, Francisco J., Martín Martín, Enrique, Rodríguez Hortalá, Juan

مصطلحات الفهرس: 004.42.047, 004.432.4, Functional-logic programming, Type systems, Opaque patterns, Let bindings, Informática (Informática), Programación de ordenadores (Informática), Software, 1203.17 Informática, 1203.23 Lenguajes de Programación, 3304.16 Diseño Lógico, journal article

URL: https://hdl.handle.net/20.500.14352/35091
http://www.sciencedirect.com/science/article/pii/S0890540114000054
PROMETIDOS-CM (S2009TIC-1465)
TIN2008-06622-C03-01
UCM-BSCH-GR35/10-A-910502

المؤلفون: López Fraguas, Francisco J., Martín Martín, Enrique, Rodríguez Hortalá, Juan, Sánchez Hernández, Jaime

مصطلحات موضوعية: 004.415.2, 519.768, 004.432.4, Term rewriting systems, constructor-based rewriting logic, narrowing, nondeterminism, call-time choice semantics, sharing, local bindings, Lenguajes de programación, Sistemas expertos, 1203.23 Lenguajes de Programación

وصف الملف: application/pdf

Relation: PROMETIDOS-CM (S2009TIC-1465); FAST-STAMP (TIN2008-06622-C03- 01/TIN); GPD-UCM (UCM-BSCH-GR58/08-910502); http://journals.cambridge.org/action/displayFulltext?type=1&fid=9188677&jid=TLP&volumeId=14&issueId=02&aid=9188675&bodyId=&membershipNumber=&societyETOCSession=; https://hdl.handle.net/20.500.14352/35084

الاتاحة: https://hdl.handle.net/20.500.14352/35084
https://doi.org/10.1017/S1471068412000373
http://journals.cambridge.org/action/displayFulltext?type=1&fid=9188677&jid=TLP&volumeId=14&issueId=02&aid=9188675&bodyId=&membershipNumber=&societyETOCSession=

المؤلفون: López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

المصدر: Information and Computation ; volume 235, page 36-69 ; ISSN 0890-5401

الاتاحة: http://dx.doi.org/10.1016/j.ic.2014.01.004
https://api.elsevier.com/content/article/PII:S0890540114000054?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0890540114000054?httpAccept=text/plain

المؤلفون: de Dios Castro, Javier, López-Fraguas, Francisco J.

المصدر: Electronic Notes in Theoretical Computer Science ; volume 188, page 3-19 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/j.entcs.2006.05.049
https://api.elsevier.com/content/article/PII:S157106610700477X?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S157106610700477X?httpAccept=text/plain

المؤلفون: Cleva, José Miguel, López-Fraguas, Francisco J.

المصدر: Electronic Notes in Theoretical Computer Science ; volume 174, issue 1, page 3-15 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/j.entcs.2006.10.018
https://api.elsevier.com/content/article/PII:S1571066107001508?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066107001508?httpAccept=text/plain

المؤلفون: López Fraguas, Francisco J.

المصدر: Electronic Notes in Theoretical Computer Science ; volume 177, page 1-3 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/j.entcs.2007.01.001
https://api.elsevier.com/content/article/PII:S1571066107002101?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066107002101?httpAccept=text/plain

المؤلفون: López-Fraguas, Francisco J., Montenegro, Manuel, Suárez-García, Gorka

المساهمون: Ministerio de Economía y Competitividad, Comunidad de Madrid, European Commission

المصدر: Journal of Computer Languages ; volume 58, page 100965 ; ISSN 2590-1184

الاتاحة: http://dx.doi.org/10.1016/j.cola.2020.100965
https://api.elsevier.com/content/article/PII:S2590118420300253?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2590118420300253?httpAccept=text/plain

المؤلفون: López-Fraguas, Francisco J., Montenegro, Manuel, Rodríguez-Hortalá, Juan

المصدر: Functional and Logic Programming ; Lecture Notes in Computer Science ; page 181-197 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319296036 9783319296043

الاتاحة: http://dx.doi.org/10.1007/978-3-319-29604-3_12
http://link.springer.com/content/pdf/10.1007/978-3-319-29604-3_12

المؤلفون: Álvez, Javier, López-Fraguas, Francisco J.

المصدر: Functional and Logic Programming ; Lecture Notes in Computer Science ; page 118-133 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642122507 9783642122514

الاتاحة: http://dx.doi.org/10.1007/978-3-642-12251-4_10
http://link.springer.com/content/pdf/10.1007/978-3-642-12251-4_10.pdf

المؤلفون: López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

المصدر: Functional and Constraint Logic Programming ; Lecture Notes in Computer Science ; page 128-144 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642119989 9783642119996

الاتاحة: http://dx.doi.org/10.1007/978-3-642-11999-6_9
http://link.springer.com/content/pdf/10.1007/978-3-642-11999-6_9.pdf

المؤلفون: López-Fraguas, Francisco J., Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

المصدر: Lecture Notes in Computer Science ; Applications of Declarative Programming and Knowledge Management ; page 206-222 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642006746 9783642006753

الاتاحة: http://dx.doi.org/10.1007/978-3-642-00675-3_14
http://link.springer.com/content/pdf/10.1007/978-3-642-00675-3_14

المؤلفون: Lopez-Fraguas, Francisco J., Rodriguez-Hortala, Juan, Sanchez-Hernandez, Jaime

المصدر: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation

الاتاحة: http://dx.doi.org/10.1145/1480945.1480959
https://dl.acm.org/doi/pdf/10.1145/1480945.1480959

المؤلفون: López-Fraguas, Francisco J., Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

المصدر: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

الاتاحة: http://dx.doi.org/10.1145/1273920.1273947
https://dl.acm.org/doi/pdf/10.1145/1273920.1273947

المؤلفون: Lopez-Fraguas, Francisco J.

المصدر: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

الاتاحة: http://dx.doi.org/10.1145/3249544

المؤلفون: Cleva, José Miguel, Leach, Javier, López-Fraguas, Francisco J.

المصدر: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

الاتاحة: http://dx.doi.org/10.1145/1013963.1013969
https://dl.acm.org/doi/pdf/10.1145/1013963.1013969

المؤلفون: López-Fraguas, Francisco J., Sánchez-Hernández, Jaime

المصدر: Computational Logic — CL 2000 ; Lecture Notes in Computer Science ; page 179-193 ; ISSN 0302-9743 ; ISBN 9783540677970 9783540449577

الاتاحة: http://dx.doi.org/10.1007/3-540-44957-4_12
http://link.springer.com/content/pdf/10.1007/3-540-44957-4_12

المؤلفون: Caballero, Rafael, López-Fraguas, Francisco J.

المصدر: Lecture Notes in Computer Science ; Perspectives of System Informatics ; page 297-310 ; ISSN 0302-9743 ; ISBN 9783540671022 9783540465621

الاتاحة: http://dx.doi.org/10.1007/3-540-46562-6_26
http://link.springer.com/content/pdf/10.1007/3-540-46562-6_26

المؤلفون: Caballero, Rafael, López-Fraguas, Francisco J.

المصدر: Functional and Logic Programming ; Lecture Notes in Computer Science ; page 85-99 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540666776 9783540479505

الاتاحة: http://dx.doi.org/10.1007/10705424_6
http://link.springer.com/content/pdf/10.1007/10705424_6

المؤلفون: Arenas-Sánchez, Puri, Gil-Luezas, Ana, López-Fraguas, Francisco J.

المصدر: Programming Language Implementation and Logic Programming ; Lecture Notes in Computer Science ; page 385-399 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540584025 9783540486954

الاتاحة: http://dx.doi.org/10.1007/3-540-58402-1_27
http://link.springer.com/content/pdf/10.1007/3-540-58402-1_27.pdf