Deep Specification and Proof Preservation for the CoqTL Transformation Language

Autor: Zheng Cheng, Massimo Tisi

Publikováno v: Software & Systems Modeling
Software & Systems Modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩

International audience; Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes. While new versions generally change the engine semantics, end-users exp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::458c0ab752fbe5f848d4990f87449d93
https://inria.hal.science/hal-03656144

Ruggedizing CS1 robotics: tools and approaches for online teaching

Autor: Boyd Anderson, Hao-Wei Tee, Martin Henz

Publikováno v: SPLASH-E

First-year students benefit from robotics-based programming exercises by learning how to use sensors to gain information on the (changing) world surrounding the robot, how to model this information using data structures, and how to design algorithms

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2fe309dd210ba00a58851f8b17985053
https://doi.org/10.1145/3484272.3484969

Fuzzing channel-based concurrency runtimes using types and effects

Autor: Quentin Stiévenart, Magnus Madsen

Publikováno v: Stiévenart, Q & Madsen, M 2020, Fuzzing channel-based concurrency runtimes using types and effects . in Proceedings of the ACM on Programming Languages . OOPSLA edn, vol. 4, Association for Computing Machinery, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications . https://doi.org/10.1145/3428254

Modern programming languages support concurrent programming based on channels and processes. Channels enable synchronous and asynchronous message-passing between independent light-weight processes making it easy to express common concurrency patterns

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb3c60af4e7041b4d46e0b95e7392a9d
https://pure.au.dk/portal/da/publications/fuzzing-channelbased-concurrency-runtimes-using-types-and-effects(e3072fc5-83b7-40a6-ab08-51a9fd92f2d3).html

Free objects in constraint-logic object-oriented programming

Autor: Dageförde, Jan C., Kuchen, Herbert

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic object-oriented programming was limited to considering cons

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1687::4168d62fcb6313ae39343b225fdd817b
https://hdl.handle.net/10419/223243

Staging with control: type-safe multi-stage programming with control operators

Autor: Yukiyoshi Kameyama, Junpei Oishi

Publikováno v: GPCE

Staging allows a programmer to write domain-specific, custom code generators. Ideally, a programming language for staging provides all necessary features for staging, and at the same time, gives static guarantee for the safety properties of generated

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ae530a8ae4284b6d66fdcc0e3ed2fcb
https://doi.org/10.1145/3170492.3136049