Copertina

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Al-Msie'deen, Ra'Fat
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Programming Languages D.1; D.2; D.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
di: Al-Msie'deen, Ra'Fat
Pubblicazione: (2024)

Amman City, Jordan: Toward a Sustainable City from the Ground Up
di: Al-Msie'deen, Ra'Fat
Pubblicazione: (2024)

A Calculus of Inheritance
di: Yang, Bo
Pubblicazione: (2026)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
di: de Sousa, Briza Mel Dias, et al.
Pubblicazione: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
di: Baier, Daniel, et al.
Pubblicazione: (2024)

Agentic Separation Logic Specification Synthesis
di: Suresh, Tarun, et al.
Pubblicazione: (2026)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
di: Beyer, Dirk, et al.
Pubblicazione: (2022)

Automated Computer Program Evaluation and Projects -- Our Experiences
di: Srinivasan, Bama, et al.
Pubblicazione: (2024)

The concept of class invariant in object-oriented programming
di: Meyer, Bertrand, et al.
Pubblicazione: (2021)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
di: Bruzzone, Federico, et al.
Pubblicazione: (2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
di: Tjoa, Ryan, et al.
Pubblicazione: (2025)

WizardMerge -- Save Us From Merging Without Any Clues
di: Zhang, Qingyu, et al.
Pubblicazione: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
di: Ates, Salih, et al.
Pubblicazione: (2024)

Adaptable TeaStore: A Choreographic Approach
di: De Palma, Giuseppe, et al.
Pubblicazione: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
di: Mitra, Joydeep, et al.
Pubblicazione: (2020)

Completing the Functional Approach in Object-Oriented Languages
di: Pluemicke, Martin
Pubblicazione: (2024)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)

From Separate Compilation to Sound Language Composition
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
di: Lahiri, Shuvendu K.
Pubblicazione: (2026)

Towards Industrial-scale Product Configuration
di: Baumeister, Joachim, et al.
Pubblicazione: (2025)

The Future of AI-Driven Software Engineering
di: Terragni, Valerio, et al.
Pubblicazione: (2024)

Toward a Corpus Study of the Dynamic Gradual Type
di: Nsofor, Dibri, et al.
Pubblicazione: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
di: Li, Shiyang, et al.
Pubblicazione: (2026)

Non-Termination Proving: 100 Million LoC and Beyond
di: Vanegue, Julien, et al.
Pubblicazione: (2025)

Myriad People Open Source Software for New Media Arts
di: Baudry, Benoit, et al.
Pubblicazione: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
di: Abounegm, Abdelrahman, et al.
Pubblicazione: (2024)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
di: Bandyopadhyay, Soumyadip, et al.
Pubblicazione: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
di: Prasetya, I. S. W. B., et al.
Pubblicazione: (2026)

Reasoning about concurrent loops and recursion with rely-guarantee rules
di: Hayes, Ian J., et al.
Pubblicazione: (2025)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

Weak Memory Demands Model-based Compiler Testing
di: Geeson, Luke
Pubblicazione: (2024)

Compiler Testing With Relaxed Memory Models
di: Geeson, Luke, et al.
Pubblicazione: (2023)

Statically Contextualizing Large Language Models with Typed Holes
di: Blinn, Andrew, et al.
Pubblicazione: (2024)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
di: Borysenkov, Dmytro, et al.
Pubblicazione: (2024)

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
di: Rentz, Niklas, et al.
Pubblicazione: (2024)

Formal Verification of Imperative First-Class Functions in Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

Teaching Complex Systems based on Microservices
di: Ferreira, Renato Cordeiro, et al.
Pubblicazione: (2025)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
di: Sepúlveda, Mauricio Vargas, et al.
Pubblicazione: (2024)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
di: Alkewitz, Leonhard, et al.
Pubblicazione: (2024)