output
20142025
most citedRepairing and Mechanising the JavaScript Relaxed Memory Model

19 citations

researchers with a paper here
collaborating institutions
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2023★ 1 cited

LLM and Infrastructure as a Code use case

Thibault Chanus, Michael Aubertin

Cloud computing and the evolution of management methodologies such as Lean Management or Agile entail a profound transformation in both system construction and maintenance approach…