المؤلفون: Ferreiro, Daniela, Casso, Ignacio, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.

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

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

المؤلفون: Jurjo-Rivas, Daniel, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.

المصدر: Theory and Practice of Logic Programming 24 (2024) 863-884

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

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

المؤلفون: Rustenholz, Louis, Lopez-Garcia, Pedro, Morales, José F., Hermenegildo, Manuel V.

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

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

المؤلفون: Ferreiro, Daniela, Morales, José F., Abreu, Salvador, Hermenegildo, Manuel V.

المصدر: EPTCS 385, 2023, pp. 324-329

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

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

المؤلفون: Körner, Philipp, Leuschel, Michael, Barbosa, João, Costa, Vítor Santos, Dahl, Verónica, Hermenegildo, Manuel V., Morales, Jose F., Wielemaker, Jan, Diaz, Daniel, Abreu, Salvador, Ciatto, Giovanni

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

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

المؤلفون: Dovier, Agostino, Formisano, Andrea, Gupta, Gopal, Hermenegildo, Manuel V., Pontelli, Enrico, Rocha, Ricardo

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

المؤلفون: Kafle, Bishoksan, Gallagher, John P., Hermenegildo, Manuel V., Klemen, Maximiliano, López-García, Pedro, Morales, José F.

المصدر: EPTCS 344, 2021, pp. 22-35

مصطلحات موضوعية: Computer Science - Logic in Computer Science, B.5.2

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

المؤلفون: De Angelis, Emanuele, Fioravanti, Fabio, Gallagher, John P., Hermenegildo, Manuel V., Pettorossi, Alberto, Proietti, Maurizio

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

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

المؤلفون: Sanchez-Ordaz, Miguel A., Garcia-Contreras, Isabel, Perez-Carrasco, Victor, Morales, Jose F., lopez-Garcia, Pedro, Hermenegildo, Manuel V.

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

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

المؤلفون: Gallagher, John P., Hermenegildo, Manuel, Kafle, Bishoksan, Klemen, Maximiliano, García, Pedro López, Morales, José

المصدر: EPTCS 320, 2020, pp. 50-64

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

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

المؤلفون: Rustenholz, Louis, López-García, Pedro, Morales, José F., Hermenegildo, Manuel V.

المصدر: Lecture Notes in Computer Science ; Static Analysis ; page 352-385 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031747755 9783031747762

الاتاحة: https://doi.org/10.1007/978-3-031-74776-2_14
https://link.springer.com/content/pdf/10.1007/978-3-031-74776-2_14

المؤلفون: Casso, Ignacio, Morales, Jose F., Lopez-Garcia, Pedro, Hermenegildo, Manuel V.

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

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

المؤلفون: Klemen, Maximiliano, Lopez-Garcia, Pedro, Gallagher, John P., Morales, Jose F., Hermenegildo, Manuel V.

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

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

المؤلفون: Garcia-Contreras, Isabel, Morales, Jose F., Hermenegildo, Manuel V.

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

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

المؤلفون: Klemen, Maximiliano, Stulova, Nataliia, Lopez-Garcia, Pedro, Morales, José F., Hermenegildo, Manuel V.

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

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

المؤلفون: Garcia-Contreras, Isabel, Morales, Jose F., Hermenegildo, Manuel V.

المصدر: Theory and Practice of Logic Programming 21 (2021) 196-243

مصطلحات موضوعية: Computer Science - Programming Languages, D.2.4, F.3.1, I.2.2, I.2.3

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

المؤلفون: Lopez-Garcia, Pedro, Darmawan, Luthfi, Klemen, Maximiliano, Liqat, Umer, Bueno, Francisco, Hermenegildo, Manuel V.

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

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

المؤلفون: Stulova, Nataliia, Morales, José F., Hermenegildo, Manuel V.

مصطلحات موضوعية: Computer Science - Programming Languages, D.1.6, D.2.4, D.2.11, D.3.3, F.3.1, F.3.2

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

المؤلفون: Gallagher, John P., Hermenegildo, Manuel V., Morales, José F., López-García, Pedro

المساهمون: Glück, Robert, Kafle, Bishoksan

المصدر: Gallagher , J P , Hermenegildo , M V , Morales , J F & López-García , P 2023 , Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation . in R Glück & B Kafle (eds) , Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings . vol. 14330 , Springer , Lecture Notes in Computer Science , no. 14330 , pp. 28-38 , 33rd International Symposium on Logic-Based Program Synthesis and Transformation , Cascais , Portugal , 23/10/2023 . https://doi.org/10.1007/978-3-031-45784-5_3

مصطلحات موضوعية: Interpreter specialisation, Operational semantics

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

Relation: urn:ISBN:9783031457838

الاتاحة: https://forskning.ruc.dk/da/publications/b0e04b09-6b07-4593-901a-a7d5ec698451
https://doi.org/10.1007/978-3-031-45784-5_3
https://hdl.handle.net/1800/b0e04b09-6b07-4593-901a-a7d5ec698451
https://rucforsk.ruc.dk/ws/files/100241620/main.pdf
https://doi.org/10.1007/978-3-031-45784-53

المؤلفون: Lopez-Garcia, Pedro, Klemen, Maximiliano, Liqat, Umer, Hermenegildo, Manuel V.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing

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