-
1Report
-
2Report
المؤلفون: Gómez-Zamalloa, Miguel, Albert, Elvira, Puebla, Germán
المصدر: Miguel G\'omez-Zamalloa, Elvira Albert, Germ\'an Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP. TPLP 10(4-6): 659-674 (2010)
URL الوصول: http://arxiv.org/abs/1007.5195
-
3Report
المصدر: The International Symposium on Practical Aspects of Declarative Languages 4354 (2007) 124-139
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1007.3250
-
4
-
5Report
المؤلفون: Albert, Elvira, Arenas, Puri, Puebla, German
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/cs/0701111
-
6Report
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/cs/0701108
-
7Report
المؤلفون: Puebla, German, Albert, Elvira, Hermenegildo, Manuel
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Software Engineering, D.2.6
URL الوصول: http://arxiv.org/abs/cs/0508111
-
8Electronic Resource
المؤلفون: Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla, Germán, Román Díez, Guillermo
مصطلحات الفهرس: 004.451, Static Analysis, Heap-Sensitive Analysis, Termination, Java Bytecode, Program Transformation, Informática (Informática), Sistemas operativos (Ordenadores), Software, 1203.17 Informática, 3304.16 Diseño Lógico, journal article
URL:
https://hdl.handle.net/20.500.14352/35134 http://www.sciencedirect.com/science/article/pii/S0167642313001044
HATS (231620)
PROMETIDOS-CM (S2009/TIC-1465)
TIN2008-05624
TIN2012-38137
PRI-AIBDE-2011- 0900 -
9Electronic Resource
المؤلفون: Albert Albiol, Elvira, Correas Fernández, Jesús, Puebla, Germán, Román Díez, Guillermo
مصطلحات الفهرس: 004.4, 004.75:004.451, Static analysis, Cost analysis, Distributed systems, Sistemas operativos (Ordenadores), Software, 3304.16 Diseño Lógico, journal article
URL:
https://hdl.handle.net/20.500.14352/35112 http://link.springer.com/article/10.1007/s00165-014-0321-z#/page-1
ENVISAGE (610582)
TIN2008- 05624
TIN2012-38137 -
10Electronic Resource
مصطلحات الفهرس: 004.4, Resource analysis, Cost analysis, Function comparison, Upper/lower bounds, Software, 3304.16 Diseño Lógico, journal article
URL:
https://hdl.handle.net/20.500.14352/24370 http://www.sciencedirect.com/science/article/pii/S016764231400570X
ENVISAGE (610582)
TIN2008-05624
TIN2012-38137 -
11Electronic Resource
المؤلفون: Albert Albiol, Elvira, Correas Fernández, Jesús, Puebla, Germán, Román Díez, Guillermo
مصطلحات الفهرس: 004.4, Software, 3304.16 Diseño Lógico, journal article
URL:
https://hdl.handle.net/20.500.14352/24384 http://www.sciencedirect.com/science/article/pii/S0304397515001954
ENVISAGE (610582)
TIN2008-05624
TIN2012-38137 -
12Conference
المؤلفون: Albert Albiol, Elvira, Arenas Sánchez, Puri, Correas Fernández, Jesús, Genaim, Samir, Gómez Zamalloa, Miguel, Martín Martín, Enrique, Puebla, Germán, Román Díez, Guillermo
مصطلحات موضوعية: 004.42, Informática (Informática), Programación de ordenadores (Informática), 1203.17 Informática, 1203.23 Lenguajes de Programación
وصف الملف: application/pdf
Relation: ENVISAGE (610582); TIN2012-38137; SICOMORo (S2013/ICE-3006); http://link.springer.com/chapter/10.1007/978-3-319-19249-9_1; https://hdl.handle.net/20.500.14352/25001
-
13Book
المؤلفون: Albert, Elvira, Arenas, Puri, Flores-Montoya, Antonio, Genaim, Samir, Gómez-Zamalloa, Miguel, Martin-Martin, Enrique, Puebla, German, Román-Díez, Guillermo
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 562-567 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642548611 9783642548628
-
14Academic Journal
مصطلحات موضوعية: 004.4, Resource analysis, Cost analysis, Function comparison, Upper/lower bounds, Software, 3304.16 Diseño Lógico
وصف الملف: application/pdf
Relation: ENVISAGE (610582); TIN2008-05624; TIN2012-38137; http://www.sciencedirect.com/science/article/pii/S016764231400570X; https://hdl.handle.net/20.500.14352/24370
-
15Academic Journal
مصطلحات موضوعية: 004.4, Software, 3304.16 Diseño Lógico
وصف الملف: application/pdf
Relation: ENVISAGE (610582); TIN2008-05624; TIN2012-38137; http://www.sciencedirect.com/science/article/pii/S0304397515001954; https://hdl.handle.net/20.500.14352/24384
-
16Conference
المؤلفون: Pietrzak, Pawel, Correas, Jesus, Puebla, German, Hermenegildo, Manuel
مصطلحات موضوعية: Embedded Systems, Inbäddad systemteknik
وصف الملف: application/pdf
Relation: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p. 61-70
-
17Conference
المؤلفون: Pietrzak, Pawel, Correas, Jesus, Puebla, German, Hermenegildo, Manuel
مصطلحات موضوعية: Embedded Systems, Inbäddad systemteknik
وصف الملف: application/pdf
Relation: Lecture Notes in Computer Science, 0302-9743; 4246; Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings, p. 392-406
-
18Academic Journal
مصطلحات موضوعية: 004.4, 004.75:004.451, Static analysis, Cost analysis, Distributed systems, Sistemas operativos (Ordenadores), Software, 3304.16 Diseño Lógico
وصف الملف: application/pdf
Relation: ENVISAGE (610582); TIN2008- 05624; TIN2012-38137; http://link.springer.com/article/10.1007/s00165-014-0321-z#/page-1; https://hdl.handle.net/20.500.14352/35112
-
19Academic Journal
المؤلفون: Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla, Germán, Román Díez, Guillermo
مصطلحات موضوعية: 004.451, Static Analysis, Heap-Sensitive Analysis, Termination, Java Bytecode, Program Transformation, Informática (Informática), Sistemas operativos (Ordenadores), Software, 1203.17 Informática, 3304.16 Diseño Lógico
وصف الملف: application/pdf
Relation: HATS (231620); PROMETIDOS-CM (S2009/TIC-1465); TIN2008-05624; TIN2012-38137; PRI-AIBDE-2011- 0900; http://www.sciencedirect.com/science/article/pii/S0167642313001044; https://hdl.handle.net/20.500.14352/35134
-
20Academic Journal
المؤلفون: Gómez-Zamalloa, Miguel, Puebla, Germán
المصدر: Science of Computer Programming ; volume 95, page 343 ; ISSN 0167-6423
Full Text Finder