Información de la Revista

Science of Computer Programming (SCP)

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
Factor de Impacto:
1.6
Editor:
Elsevier
ISSN:
0167-6423
Vistas:
30652
Seguidores:
17
¿Algo está mal en esta página? Avísanos
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.

Solicitud de Artículos

Science of Computer Programming (SCP) is an academic journal published by Elsevier. (ISSN 0167-6423, impact factor 1.6, CCF B).

Aims & Scope Methods of Software Design: Techniques and Applications Science of Computer Programming is dedicated to the distribution, via publication of papers and software, of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and aspects of industrial practice. The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including: Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software; Design, implementation and evaluation of programming languages; Programming environments, development tools, visualisation and animation; Management of the development process; Human factors in software, software for social interaction, software for social computing; Cyber physical systems, and software for the interaction between the physical and the machine; Software aspects of infrastructure services, system administration, and network management. Special emphasis is given to recent trends in software development, such as software architecture, component-based software development and web-based software engineering. SCP is divided into two tracks. These are: (1) Research papers and (2) Software. Research Papers Track These cover four lines of work: (1) Concepts and methodology, (2) Formal techniques, (3) Experimental software technology, (4) Descriptive software technology. Concepts and methodology is open for methodological, philosophical and sociological studies on all aspects of computer software production and usage, including ethics. Also short papers are allowed here, called viewpoints. Formal techniques emphasizes the development and the pragmatic application of formal and semi-formal techniques. Submissions that the editors consider mainly mathematical or theoretical in nature, with the preliminary consent of the authors, will formally be forwarded to the sister journal TCS. Experimental software technology is open for expositions on implementations of and experiments with novel programming languages, systems and methods. Descriptive software technology deals with observational studies of current software development practices, reporting on new languages, systems and methods, including survey reports on the various themes. Software Track See the specific submission instructions for the Software Track in the Guide for Authors. The Software Track of Science of Computer Programming publishes Original Software Publications (OSP) to disseminate existing and useful software in the areas of programming (languages) and software development. Research on programming and software development may involve the creation of (huge) software systems to perform all kinds of experiments related to programming (languages) and software development. Special Issues: The Journal welcomes Special Issues within its Scope either resulting from conferences or workshops or from dedicated editorial efforts. There can be special issues for research papers or for software.
Última actualización por Admin Agent el

Números especiales

Número especial sobre Participants of the Termination and Complexity Competition 2026 Día de Entrega: 2026-11-30 The Termination and Complexity Competition (termCOMP) is an annual international competition for fully automated verification tools that can prove (or disprove) termination for several models of computation/ programming languages, including term rewriting, integer transition systems, C programs, Prolog programs, and Haskell programs. This special issue primarily collects the participants of termCOMP 2026, but it also welcomes submissions of tools that participated in recent years. Guest editors: Dr. rer. nat. Florian Frohn, RWTH Aachen University, Aachen, Germany Areas of Expertise: Termination, Safety, Constrained Horn Clauses, SMT Dr. Raúl Gutiérrez, Associate Professor (tenured) Universitat Politècnica de València Areas of Expertise: Termination, Confluence, Synthesis of Logical Models, Security Special issue information: Since the beginning of the millennium, many research groups developed tools for fully automated termination and complexity analysis. After a tool demonstration at the 2003 Termination Workshop in Valencia, the community decided to start an annual termination competition to spur the development of tools and termination techniques. The termination and complexity competition focuses on automated termination and complexity analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. In all categories, we also welcome the participation of tools providing certifiable proofs. The goal of the termination and complexity competition is to demonstrate the power of the leading tools in each of these areas. This special issue primarily collects the participants of termCOMP 2026, but it also welcomes submissions of tools that participated in recent years. Manuscript submission information: All manuscripts and supplementary materials should be submitted through the Elsevier Editorial System at Submission site for Science of Computer Programming . Please select the "VSI:termCOMP participants" as the Article Type during the submission process. Submissions should be prepared according to the Guide for Authors: Guide for Authors - Science of Computer Programming posted on the journal’s website. Final Manuscript Submission Deadline: 30th November 2026 Keywords: Termination, Complexity, Term Rewriting https://www.sciencedirect.com/special-issue/334374/participants-of-the-termination-and-complexity-competition-2026
Última actualización por Admin Agent el
Número especial sobre 18th International Symposium on Functional and Logic Programming Día de Entrega: 2026-12-01 The FLOPS conference series aims to bring together practitioners, researchers and implementors of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. This special issue includes extended versions of selected papers from the 18th iteration of FLOPS, held in Tsukuba, Japan in May 2026. Guest editors: Prof. Ekaterina Komendantskaya, PhD Southampton University, Southampton, UK Areas of Expertise: logic, programming languages, verification, AI Dr. Michael Sperber, PhD Active Group, Germany Areas of Expertise: Functional programming, programming languages, software architecture Special issue information: FLOPS solicits original papers in all areas of declarative programming: functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements; developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques, or statistical methods including generative AI (*); foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by a wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. Manuscript submission information: All manuscripts and supplementary materials should be submitted through the Elsevier Editorial System at Submission site for Science of Computer Programming . Please select the "VSI: FLOPS 2026" as the Article Type during the submission process. Submissions should be prepared according to the Guide for Authors: Guide for Authors - Science of Computer Programming posted on the journal’s website. Final Manuscript Submission Deadline: 1st December 2026 Keywords: Functional programming Logic programming Declarative programming Rewriting Program transformation Programming language semantics https://www.sciencedirect.com/special-issue/335762/18th-international-symposium-on-functional-and-logic-programming
Última actualización por Admin Agent el

Las personas que vieron esto también vieron

CCFNombre CompletoFactor de ImpactoEditorISSN
BJournal of Systems and Software3.8Elsevier0164-1212

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Programming and Computer Software0.5Springer0361-7688
Journal of Computational Science3.7Elsevier1877-7503
International Journal of Parallel Programming0.9Springer0885-7458
Mathematical Programming2.5Springer0025-5610
Materials Science and Engineering: B5.7Elsevier0921-5107
Materials Science and Engineering: CElsevier0928-4931
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
41,6ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2027-03-15
BA*89,8ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97,6IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
B91,2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79,9PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13
BA76,7ICMEInternational Conference on Multimedia and Expo2025-12-312026-07-05
B84,4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-12-01
BA*97,3ICDMInternational Conference on Data Mining2027-06-062027-11-15
BA*89,1ECCVEuropean Conference on Computer Vision2026-03-062026-09-08
BA92,9DATEDesign, Automation and Test in Europe2026-09-072027-03-22

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario