Imagen de Portada

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Galasso-Carbonnel, Jessie, Sundermann, Chico
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
por: Lang, Frédéric, et al.
Publicado: (2024)

Formal Concept Analysis: a Structural Framework for Variability Extraction and Analysis
por: Galasso, Jessie
Publicado: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
por: Endrullis, Jörg, et al.
Publicado: (2025)

Proceedings 16th International Workshop on Graph Computation Models
por: Lambers, Leen, et al.
Publicado: (2026)

LPR: Large Language Models-Aided Program Reduction
por: Zhang, Mengxiao, et al.
Publicado: (2023)

A Roadmap for Tamed Interactions with Large Language Models
por: Scotti, Vincenzo, et al.
Publicado: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
por: Xu, Zhenyang, et al.
Publicado: (2025)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
por: Wang, Yanzhao, et al.
Publicado: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
por: Ren, Xiaoning, et al.
Publicado: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
por: Kutsia, Temur, et al.
Publicado: (2024)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
por: Liu, Yuchen, et al.
Publicado: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
por: Karapetyan, Daniel
Publicado: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
por: Zhang, Hanliang, et al.
Publicado: (2024)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
por: Feng, Rong, et al.
Publicado: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
por: Yang, Aidan Z. H., et al.
Publicado: (2024)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
por: Si, Yuan, et al.
Publicado: (2025)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
por: Dau, Anh T. V., et al.
Publicado: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
por: Sim, HoHyun, et al.
Publicado: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
por: Yu, Hao, et al.
Publicado: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
por: Carreira, Carolina, et al.
Publicado: (2025)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
por: Fayed, Mahmoud Samir
Publicado: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
por: Xu, Ning, et al.
Publicado: (2026)

FLAT: Formal Languages as Types
por: Zhu, Fengmin, et al.
Publicado: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
por: Kargaran, Amir Hossein, et al.
Publicado: (2025)

An Effectively $Ω(c)$ Language and Runtime
por: Marron, Mark
Publicado: (2024)

Semantic Source Code Segmentation using Small and Large Language Models
por: Dahou, Abdelhalim, et al.
Publicado: (2025)

Evaluating the Language-Based Security for Plugin Development
por: Liang, Naisheng, et al.
Publicado: (2024)

SWE-QA: Can Language Models Answer Repository-level Code Questions?
por: Peng, Weihan, et al.
Publicado: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
por: Steffen, Bernhard, et al.
Publicado: (2024)

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

From a Natural to a Formal Language with DSL Assistant
por: Mosthaf, My M., et al.
Publicado: (2024)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
por: Wang, Zhiyi, et al.
Publicado: (2025)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
por: Marron, Mark
Publicado: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
por: Szabo, Violet, et al.
Publicado: (2024)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
por: Li, Hebi, et al.
Publicado: (2023)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
por: Arfi, Farid, et al.
Publicado: (2024)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
por: Feng, Qiong, et al.
Publicado: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
por: Oliveira, Francisco, et al.
Publicado: (2025)