المؤلفون: Edwards, Jonathan, Petricek, Tomas, van der Storm, Tijs, Litt, Geoffrey

المصدر: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 2

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

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

المؤلفون: Döderlein, Jean-Baptiste, van Rozen, Riemer, van der Storm, Tijs

المصدر: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 16

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

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

المؤلفون: Edwards, Jonathan, Petricek, Tomas, van der Storm, Tijs

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

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

المؤلفون: Mussbacher, Gunter, Combemale, Benoit, Kienzle, Jörg, Burgueño, Lola, Garcia-Dominguez, Antonio, Jézéquel, Jean-Marc, Jouneaux, Gwendal, Khelladi, Djamel-Eddine, Mosser, Sébastien, Pulgar, Corinne, Sahraoui, Houari, Schiedermeier, Maximilian, van der Storm, Tijs

المساهمون: McGill University = Université McGill Montréal, Canada, Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Universidad de Málaga Málaga = University of Málaga Málaga, University of York York, UK, McMaster University Hamilton, Ontario, Ecole de Technologie Supérieure Montréal (ETS), Université de Montréal (UdeM), Département d'Informatique et de Recherche Opérationnelle Montreal (DIRO), Centrum Wiskunde & Informatica (CWI)

المصدر: ISSN: 0740-7459 ; IEEE Software ; https://inria.hal.science/hal-04383286 ; IEEE Software, 2024, pp.1-8. ⟨10.1109/MS.2023.3347875⟩.

مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://inria.hal.science/hal-04383286
https://inria.hal.science/hal-04383286v1/document
https://inria.hal.science/hal-04383286v1/file/IEEE_Software___Polyglot_Software_Development__Copy_-1.pdf
https://doi.org/10.1109/MS.2023.3347875

المؤلفون: Merino, Mauricio Verano, Vinju, Jurgen, van der Storm, Tijs

المصدر: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 11

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

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

المؤلفون: Soethout, Tim, van der Storm, Tijs, Vinju, Jurgen

المصدر: The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 1, Article 3

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

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

المؤلفون: Aarssen, Rodin, Vinju, Jurgen, van der Storm, Tijs

المصدر: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 15

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

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

المؤلفون: van der Storm, Tijs

المساهمون: Tijs van der Storm

مصطلحات موضوعية: Semantics engineering, syntax, parsing, reduction semantics

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

Relation: Is Part Of OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.29

الاتاحة: https://doi.org/10.4230/OASIcs.EVCS.2023.29
https://nbn-resolving.org/urn:nbn:de:0030-drops-177991
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.29

المؤلفون: van der Storm, Tijs

المساهمون: Tijs van der Storm

مصطلحات موضوعية: Eelco Visser, Language design, IFIP, working group

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

Relation: Is Part Of OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.28

الاتاحة: https://doi.org/10.4230/OASIcs.EVCS.2023.28
https://nbn-resolving.org/urn:nbn:de:0030-drops-177986
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.28

المؤلفون: Stroet, Martin, Caron, Bertrand, Engler, Martin S., van der Woning, Jimi, Kauffmann, Aude, van Dijk, Marc, El-Kebir, Mohammed, Visscher, Koen M., Holownia, Josef, Macfarlane, Callum, Bennion, Brian J., Gelpi-Dominguez, Svetlana, Lightstone, Felice C., van der Storm, Tijs, Geerke, Daan P., Mark, Alan E., Klau, Gunnar W.

المصدر: Stroet , M , Caron , B , Engler , M S , van der Woning , J , Kauffmann , A , van Dijk , M , El-Kebir , M , Visscher , K M , Holownia , J , Macfarlane , C , Bennion , B J , Gelpi-Dominguez , S , Lightstone , F C , van der Storm , T , Geerke , D P , Mark , A E & Klau , G W 2023 , ' OFraMP: a fragment-based tool to facilitate the parametrization of large molecules ' , Journal of Computer-aided Molecular ....

مصطلحات موضوعية: Automated topology builder, Dendrimer, Drugs, Force fields, Molecular fragments, Molecular simulation, Partial charges

الاتاحة: https://research.vu.nl/en/publications/b910bf3c-fe26-40c5-a8ac-c5ea67e0fcae
https://doi.org/10.1007/s10822-023-00511-7
https://hdl.handle.net/1871.1/b910bf3c-fe26-40c5-a8ac-c5ea67e0fcae
http://www.scopus.com/inward/record.url?scp=85163084211&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85163084211&partnerID=8YFLogxK

المؤلفون: van Binsbergen, L. Thomas, Frölich, Damian, Verano Merino, Mauricio, Lai, Joey, Jeanjean, Pierre, van der Storm, Tijs, Combemale, Benoit, Barais, Olivier

المساهمون: University of Amsterdam Amsterdam = Universiteit van Amsterdam (UvA), Vrije Universiteit Amsterdam Amsterdam (VU), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Centrum Wiskunde & Informatica (CWI), Smart Modeling for softw@re Research and Technology (IRIT-SM@RT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ACM SIGPLAN: Special Interest Group on Programming Languages

المصدر: SLE '22: 15th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering ; https://inria.hal.science/hal-03921387 ; SLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩ ; https://www.sleconf.org/2022/

مصطلحات موضوعية: Interpreters Exploratory programming, protocol, IDEs, REPLs, notebooks, interpreters, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

جغرافية الموضوع: Auckland, New Zealand

الاتاحة: https://inria.hal.science/hal-03921387
https://inria.hal.science/hal-03921387v1/document
https://inria.hal.science/hal-03921387v1/file/3567512.3567527orig.pdf
https://doi.org/10.1145/3567512.3567527

المؤلفون: van der Storm, Tijs, Erdweg, Sebastian

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

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

المؤلفون: Erdweg, Sebastian, van der Storm, Tijs, Dai, Yi

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

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

المؤلفون: Van Der Storm, Tijs, Hermans, Felienne

المساهمون: Fischer, Bernd, Burgueno, Lola, Cazzola, Walter

المصدر: Van Der Storm , T & Hermans , F 2022 , Gradual Grammars : Syntax in Levels and Locales . in B Fischer , L Burgueno & W Cazzola (eds) , SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 . SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 , ACM Press Digital Library , pp. 134-147 , 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, ....

مصطلحات موضوعية: internationalization, modularity, syntax definition

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

Relation: https://research.rug.nl/en/publications/dd445656-1a39-4c1d-bb9d-e20d6bff3122; urn:ISBN:9781450399197

الاتاحة: https://hdl.handle.net/11370/dd445656-1a39-4c1d-bb9d-e20d6bff3122
https://research.rug.nl/en/publications/dd445656-1a39-4c1d-bb9d-e20d6bff3122
https://doi.org/10.1145/3567512.3567524
https://pure.rug.nl/ws/files/879796649/3567512.3567524.pdf
http://www.scopus.com/inward/record.url?scp=85146981582&partnerID=8YFLogxK

المؤلفون: Verano Merino, Mauricio, Beckmann, Tom, van der Storm, Tijs, Hirschfeld, Robert, Vinju, Jurgen J.

المصدر: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering

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

المؤلفون: Soethout, Tim, van der Storm, Tijs, Vinju, Jurgen J.

المصدر: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

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

المؤلفون: Bos, Jeroen van den, Hills, Mark, Klint, Paul, van der Storm, Tijs, Vinju, Jurgen J.

المصدر: EPTCS 56, 2011, pp. 15-32

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

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

المؤلفون: Thomas van Binsbergen, L., Merino, Mauricio, Verano, Jeanjean, Pierre, van Der Storm, Tijs, Combemale, Benoit, Barais, Olivier

المساهمون: Centrum Wiskunde & Informatica (CWI), Eindhoven University of Technology Eindhoven (TU/e), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), University of Groningen Groningen, We would like to thank the Twitter hive mind, and Rainer Joswig in particular, for help in navigating the early history of REPLs and the anonymous reviewers for their helpful comments. This work is supported by the NWO project (628.009.014) Secure Scalable Policy-enforced Distributed Data Processing (SSPDDP), part of the NWO research program Big Data: Real Time ICT for Logistics. This work was partially executed in the context of the CWI/INRIA Associate Team Agile Language Engineering (ALE).

المصدر: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://inria.hal.science/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩

مصطلحات موضوعية: interpreters, REPLs, software language engineering, notebooks, meta-languages, language workbenches, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Chicago / Virtual, United States

الاتاحة: https://inria.hal.science/hal-02968938
https://inria.hal.science/hal-02968938v1/document
https://inria.hal.science/hal-02968938v1/file/onward2020-repls.pdf
https://doi.org/10.1145/3426428.3426917

المؤلفون: Aarssen, Rodin T.A., Van Der Storm, Tijs

المصدر: Aarssen , R T A & Van Der Storm , T 2020 , High-fidelity metaprogramming with separator syntax trees . in PEPM 2020 : Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020 . PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020 , Association for Computing Machinery, Inc , pp. 27-37 , 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020) , New Orleans, LA , United States , 20/01/2020 . https://doi.org/10.1145/3372884.3373162

مصطلحات موضوعية: High-fidelity code transformations, Metaprogramming

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

Relation: urn:ISBN:9781450370967

الاتاحة: https://hdl.handle.net/11370/829c095c-8311-40df-8a4c-0dd0471c1e36
https://research.rug.nl/en/publications/829c095c-8311-40df-8a4c-0dd0471c1e36
https://doi.org/10.1145/3372884.3373162
https://pure.rug.nl/ws/files/121022453/3372884.3373162.pdf
https://www.mendeley.com/catalogue/4fe6b378-bf3b-3874-b31b-2c18939efd5a/

المؤلفون: Soethout, Tim, van der Storm, Tijs, Vinju, Jurgen J.

المساهمون: Cleophas, Loek, Massink, Mieke

المصدر: Soethout , T , van der Storm , T & Vinju , J J 2021 , Automated Validation of State-Based Client-Centric Isolation with TLA + . in L Cleophas & M Massink (eds) , Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers . vol. Cham , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12524 LNCS , Springer Science and Business Media Deutschland GmbH , pp. 43-57 , 2nd International Workshop on Automated and Verifiable Software System Development, ....

مصطلحات موضوعية: Distributed systems, Isolation guarantees, Model checking

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

Relation: urn:ISBN:9783030672195

الاتاحة: https://hdl.handle.net/11370/85a6f992-c954-4d99-a4c0-4e31d06b7136
https://research.rug.nl/en/publications/85a6f992-c954-4d99-a4c0-4e31d06b7136
https://doi.org/10.1007/978-3-030-67220-1_4
https://pure.rug.nl/ws/files/192715593/978_3_030_67220_1.pdf
http://www.scopus.com/inward/record.url?scp=85101561805&partnerID=8YFLogxK