Información de la Revista

International Journal of Programming Languages and Applications (IJPLA)

Mantenido oficialmente por la editorial
Por favor Iniciar sesión para ver el sitio web de la revista
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Registrarse Iniciar sesión
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.
Editor:
AIRCC
Cuenta de la editorial:
ISSN:
1839-6291
Vistas:
21537
Seguidores:
2

Solicitud de Artículos

International Journal of Programming Languages and Applications (IJPLA) is an academic journal published by AIRCC. (ISSN 1839-6291).

International Journal of Programming Languages and Applications ( IJPLA) ISSN : 1839-6291 https://wireilla.com/ijpla/index.html Scope & Topics The International Journal of Programming Languages and Applications (IJPLA) publishes high quality research on the design, theory, implementation, and application of programming languages. The journal welcomes contributions that advance the state of the art in language theory, compilers, runtime systems, verification, security, and emerging computational paradigms. IJPLA aims to serve as a leading venue for foundational research as well as innovative practical work that shapes the future of programming. Topics of interest include but are not limited to, the following Programming Language Design and Foundations • Type systems, type inference, and type soundness • Formal semantics (operational, denotational, axiomatic) • Program logics, proof systems, and mechanized metatheory • Novel programming paradigms and experimental language designs • Domain specific languages (DSLs) and meta programming Compilers, Optimization and Program Analysis • Compiler architectures, intermediate representations, and code generation • Static and dynamic program analysis • Verified compilers and correct by construction toolchains • Optimization for heterogeneous hardware (GPUs, TPUs, FPGAs) • Automatic differentiation and MLIR based compiler infrastructures Runtime Systems and Execution Models • Virtual machines, interpreters, and managed runtimes • Garbage collection and memory management • Concurrency models, parallel execution, and deterministic systems • Runtime systems for cloud, serverless, and edge computing • Energy efficient and resource aware execution models Formal Methods, Verification and Reliability • Program verification, model checking, and symbolic execution • Proof assistants (Coq, Lean, Agda) and mechanized reasoning • Verified distributed systems and protocol correctness • Automated debugging, bug detection, and program repair Security and Language Based Protection • Information flow control and secure by design languages • Memory safety, capability systems, and safe systems programming • Static and dynamic analysis for security • Formal verification of cryptographic protocols AI Assisted Programming and Machine Learning for Code • Program synthesis and inductive programming • Large language models for code generation and understanding • Natural language to code translation • Hybrid human : AI programming workflows • Neural static analysis and AI driven compiler optimizations Programming Languages for Emerging Domains • Quantum programming languages and quantum IRs • Differentiable programming and ML native languages • Languages for robotics, autonomous systems, and cyber physical systems • IoT, embedded, and real time programming models • Educational languages and human centered language design Human Factors in Programming Languages • Cognitive aspects of programming • Usability of type systems and language constructs • Developer experience and empirical studies of language use • Language design informed by HCI and behavioral research High Performance and Distributed Computing • Parallel programming models and frameworks • Distributed languages and fault tolerant programming • Performance portability and cross platform compilation • HPC oriented languages and runtime systems Paper Submission Authors are invited to submit papers for this journal through Email: [email protected] or through Submission System. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this Journal. For paper format download the template in this page Important Dates • Publication Date : Determined by the Editor-in-Chief Contact us Here's where you can reach us : [email protected] (or) [email protected] Submission Link : https://wireilla.com/submission/index.php
Última actualización por Conference Events el

Las personas que vieron esto también vieron

CCFNombre CompletoFactor de ImpactoEditorISSN
CComputer Law & Security Review4.7Elsevier0267-3649
International journal of Software Engineering & ApplicationsAIRCC0976-2221

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Journal of Visual Languages and ComputingElsevier1045-926X
International Journal of Parallel Programming0.9Springer0885-7458
Programming and Computer Software0.5Springer0361-7688
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655

Conferencias Relacionadas

CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2027-03-15
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2027-01-312027-03-152027-06-14
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario