المؤلفون: Eriksson, Oscar, Palmkvist, Viktor, Broman, David, 1977

المصدر: GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023. :57-71

مصطلحات موضوعية: Automatic Differentiation, Compiler, Differential-Algebraic Equations, Jacobian Generation, Partial Evaluation

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340543
https://doi.org/10.1145/3624007.3624054

المؤلفون: Wiersdorf, Ashton, Chang, Stephen, Felleisen, Matthias, Greenman, Ben

المساهمون: Ashton Wiersdorf and Stephen Chang and Matthias Felleisen and Ben Greenman

مصطلحات موضوعية: Types, Metaprogramming, Macros, Partial Evaluation

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

Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.44

الاتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2024.44
https://nbn-resolving.org/urn:nbn:de:0030-drops-208933
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.44

المؤلفون: Wiersdorf, Ashton, Chang, Stephen, Felleisen, Matthias, Greenman, Ben

المساهمون: Ashton Wiersdorf and Stephen Chang and Matthias Felleisen and Ben Greenman

مصطلحات موضوعية: Types, Metaprogramming, Macros, Partial Evaluation

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

Relation: Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.24

الاتاحة: https://doi.org/10.4230/DARTS.10.2.24
https://nbn-resolving.org/urn:nbn:de:0030-drops-209220
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.24

المؤلفون: Sestoft, Peter, Søndergaard, Harald

المصدر: Sestoft , P & Søndergaard , H 2024 , The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation : Invited Contribution) . in 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24) . Association for Computing Machinery . https://doi.org/10.1145/3635800.3637445

مصطلحات موضوعية: Partial evaluation, mixed computation, Lisp, self- application, auto-projector, compilation, compiler generation

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

Relation: https://pure.itu.dk/portal/da/publications/88bb5d01-eb12-4000-8143-c8ce327eea19; urn:ISBN:979-8-4007-0487-1/24/01

الاتاحة: https://pure.itu.dk/portal/da/publications/88bb5d01-eb12-4000-8143-c8ce327eea19
https://doi.org/10.1145/3635800.3637445
https://pure.itu.dk/ws/files/102597804/mix-history-20231218T0709.pdf

المؤلفون: Normann, Louis Marott, Glück, Robert

المساهمون: Keller, Gabriele, Wang, Meng

المصدر: Normann , L M & Glück , R 2024 , Partial Evaluation of Reversible Flowchart Programs . in G Keller & M Wang (eds) , PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation . Association for Computing Machinery , pp. 119-133 , 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual Symposium on Principles of Programming Languages, POPL 2024 , London , United Kingdom , 16/01/2024 . https://doi.org/10.1145/3635800.3636967

مصطلحات موضوعية: Flowchart Languages, Partial Evaluation, Program Inversion, Program Transformations, Reversible Computing

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

الاتاحة: https://researchprofiles.ku.dk/da/publications/partial-evaluation-of-reversible-flowchart-programs(6c8a2e4b-efb8-4894-ace6-4dac768b4a2d).html
https://doi.org/10.1145/3635800.3636967
https://curis.ku.dk/ws/files/390400069/3635800.3636967.pdf

المؤلفون: Pettersson, Markus, 1997, Ekeroth, Johannes Ljung, Russo, Alejandro, 1978

المصدر: A Programming Framework for Differential Privacy with Accuracy Calculation Octopi: Säker Programering för Sakernas Internet 35th Symposium on Implementation and Application of Functional Languages (IFL), Braga, Portugal PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023.

مصطلحات موضوعية: Partial evaluation, Haskell, Synthetic data, eDSL, Differential Privacy

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/541688
https://research.chalmers.se/publication/542179
https://research.chalmers.se/publication/542179/file/542179_Fulltext.pdf

المؤلفون: Cynthia Porras, Jenny Fajardo, Alejandro Rosete, Antonio D. Masegosa

المصدر: IEEE Access, Vol 9, Pp 20542-20556 (2021)

مصطلحات موضوعية: Efficient discarding, partial evaluation, maximal covering location problem, objective function, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9339858/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/3fae3391309f41a6a53bc295d7497e9f

المؤلفون: Szokoli Mátyás, Kiss Attila

المصدر: Acta Universitatis Sapientiae: Informatica, Vol 12, Iss 2, Pp 232-250 (2020)

مصطلحات موضوعية: type inference, dynamic typing, binding-time analysis, partial evaluation, functional languages, 68n18, 68n15, 03b38, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2066-7760

URL الوصول: https://doaj.org/article/ffe11e6d8cc842d3befc862262580e90

المؤلفون: Ana Camila Pérez, Eduardo Sánchez-Ansola, Alejandro Rosete, Omar Rojas, Guillermo Sosa-Gómez

المصدر: Heliyon, Vol 8, Iss 4, Pp e09291- (2022)

مصطلحات موضوعية: Metaheuristics, Optimization, Partial evaluation, SBRP, Science (General), Q1-390, Social sciences (General), H1-99

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2405844022005795; https://doaj.org/toc/2405-8440

URL الوصول: https://doaj.org/article/130c6d5e5173482abe8237c509117d13

المؤلفون: Adamsson, Johan

مصطلحات موضوعية: Run-time Specialization, Partial Evaluation, Online Partial Evaluation, Körtidsspecialisering, Partiell Evaluering, Online Partiell Evaluering, Computer Sciences, Datavetenskap (datalogi)

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

Relation: TRITA-EECS-EX ; 2024:13

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-345164

المؤلفون: María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán Pascual, Julia Sapiña

المصدر: MethodsX, Vol 9, Iss , Pp 101802- (2022)

مصطلحات موضوعية: Concurrent and non-deterministic system modeling, Algebraic specification, Code optimization, Narrowing-based partial evaluation, Symbolic reasoning, Rewriting logic, Maude, Science

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2215016122001820; https://doaj.org/toc/2215-0161

URL الوصول: https://doaj.org/article/1be6112c1a9e49e4900a55c6b92082bf

المؤلفون: Alpuente Frasnedo, María, Escobar Román, Santiago, Ballis, Demis, Sapiña-Sanchis, Julia

المساهمون: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica, GENERALITAT VALENCIANA, AGENCIA ESTATAL DE INVESTIGACION, European Regional Development Fund, COMISION DE LAS COMUNIDADES EUROPEA

مصطلحات موضوعية: Multi-paradigm declarative programming, Partial evaluation, Rewriting logic, Narrowing, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: Theory and Practice of Logic Programming; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/; info:eu-repo/grantAgreement/EC/H2020/952215/EU; info:eu-repo/grantAgreement/GVA//APOSTD%2F2019%2F127//CONTRATO POSDOCTORAL GVA-SAPIÑA SANCHIS. PROYECTO: METODOS SIMBOLICOS AVANZADOS PARA EL ANALISIS DE SEGURIDAD DE PROTOCOLOS/; https://doi.org/10.1017/S1471068421000600; urn:issn:1471-0684; http://hdl.handle.net/10251/195317

الاتاحة: http://hdl.handle.net/10251/195317
https://doi.org/10.1017/S1471068421000600

المؤلفون: Adamsson, Johan

مصطلحات موضوعية: Run-time Specialization, Partial Evaluation, Online Partial Evaluation, Körtidsspecialisering, Partiell Evaluering, Online Partiell Evaluering, Computer Sciences, Datavetenskap (datalogi)

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

Relation: TRITA-EECS-EX; 2024:13

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-345164

المؤلفون: Herhut, S.

مصطلحات موضوعية: 005.3, programming languages, partial evaluation, dependent types, agile program development, static guarantees

URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573224

المؤلفون: Jayaprakash, Rajesh

المصدر: ELS2020, European Lisp Symposium 2020, Zurich, Switzerland, 27-28 April, 2020

مصطلحات موضوعية: lisp, partial evaluation, CPS transformation

Relation: https://zenodo.org/communities/els; https://doi.org/10.5281/zenodo.3740940; https://doi.org/10.5281/zenodo.3740941; oai:zenodo.org:3740941

الاتاحة: https://doi.org/10.5281/zenodo.3740941

المؤلفون: Cooper, Jonathan Paul

المساهمون: McKeever, Steve, Gavaghan, David, Whiteley, Jonathan

مصطلحات موضوعية: 610.21, Applications and algorithms, Numerical analysis, Software engineering, CellML, cardiac, units, partial evaluation, lookup tables, a posteriori, error analysis, correctness, reliability, computational optimisation

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496841

المؤلفون: Saarnik, Taaniel

المساهمون: Carneiro Alves de Lima, Bruno Rucy, juhendaja, Dorokhov, Mykhailo, juhendaja, Tartu Ülikool. Loodus- ja täppisteaduste valdkond, Tartu Ülikool. Arvutiteaduse instituut

مصطلحات موضوعية: Datalog, Open Policy Agent, Rego, Futamura projection, partial evaluation, osaline hindamine, magistritööd, informaatika, infotehnoloogia, informatics, infotechnology

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

Relation: https://hdl.handle.net/10062/104953

الاتاحة: https://hdl.handle.net/10062/104953

المؤلفون: Hiroshi TAKENOUCHI, Masataka TOKUMARU

المصدر: IEICE Transactions on Information and Systems. 2021, E104.D(9):1459

المؤلفون: Vergu, Vlad, Tolmach, Andrew, Visser, Eelco

المساهمون: Vlad Vergu and Andrew Tolmach and Eelco Visser

مصطلحات موضوعية: Definitional interpreters, partial evaluation

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

Relation: Is Part Of LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.4

الاتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2019.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-107969
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.4

المؤلفون: Alpuente Frasnedo, María, Cuenca-Ortega, Angel Eduardo, Escobar Román, Santiago, Meseguer, José

المساهمون: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Generalitat Valenciana, U.S. Naval Research Laboratory, Agencia Estatal de Investigación, Secretaría de Educación Superior, Ciencia, Tecnología e Innovación, Ecuador, European Regional Development Fund

مصطلحات موضوعية: Offline partial evaluation, Logic, Deduction, Algebra, System, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: Journal of Logical and Algebraic Methods in Programming; info:eu-repo/grantAgreement/NRL//N00173-17-1-G002/; info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; https://doi.org/10.1016/j.jlamp.2019.100501; urn:issn:2352-2208; http://hdl.handle.net/10251/146437

الاتاحة: http://hdl.handle.net/10251/146437
https://doi.org/10.1016/j.jlamp.2019.100501