Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Publications associées (26)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Ieee Computer Soc2023

Scanning Small-Angle X-ray Scattering of Injection-Molded Polymers: Anisotropic Structure and Mechanical Properties of Low-Density Polyethylene

Marianne Liebi, Manuel Guizar Sicairos

Injection molding is known to create a layered anisotropicmorphologyacross the sample thickness due to varying shear and cooling ratesduring the manufacturing process. In this study, scanning small-angleX-ray scattering was used to visualize and quantify t ...

AMER CHEMICAL SOC2023

On Energy Control of Modular Multilevel Converters

Milan Utvic

Owing to the advancements in the area of power electronics, efficient and flexible ac to dc conversion is made possible, bringing back into focus the idea of the dc power transmission at various voltage levels. Several technical and economical factors advo ...

EPFL2023

Better Trees for Santa Claus

Etienne Michel François Bamas, Lars Rohwedder

We revisit the problem max-min degree arborescence, which was introduced by Bateni et al. [STOC'09] as a central special case of the general Santa Claus problem, which constitutes a notorious open question in approximation algorithms. In the former problem ...

Assoc Computing Machinery2023

Circularity by stock in Sri Lanka: Economic necessity meets urban fabric renovation

Paolo Tombesi, Milinda Pathiraja

Persistent fiscal and political mismanagement, together with the financial pressures of the COVID-19 pandemic, have driven Sri Lanka into a social and economic crisis triggering a decrease in national foreign exchange reserves, an inability to purchase vit ...

FRONTIERS MEDIA SA2023

Page 3 sur 3

Scanning Small-Angle X-ray Scattering of Injection-Molded Polymers: Anisotropic Structure and Mechanical Properties of Low-Density Polyethylene

Marianne Liebi, Manuel Guizar Sicairos

AMER CHEMICAL SOC2023

Better Trees for Santa Claus

Etienne Michel François Bamas, Lars Rohwedder

Assoc Computing Machinery2023

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

Ieee Computer Soc2023