저널 정보

Journal of Logical and Algebraic Methods in Programming (JLAMP)

저널 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

영향력 지수:
0.700
출판사:
Elsevier
ISSN:
2352-2208
조회:
19320
팔로우:
1

논문 모집

Journal of Logical and Algebraic Methods in Programming (JLAMP) is an academic journal published by Elsevier. (ISSN 2352-2208, impact factor 0.700, CCF C).

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems Researchers interested in acting as a guest editor should review the guest editor/proposal guidelines. The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.
최종 수정: Dou Sun ()

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
The Journal of Logic and Algebraic ProgrammingElsevier1567-8326
Computer Methods in Applied Mechanics and Engineering7.3Elsevier0045-7825
International Journal of Parallel Programming0.9Springer0885-7458
International Journal of Information Management27.0Elsevier0268-4012
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
Journal of Computational Science3.7Elsevier1877-7503
Programming and Computer Software0.5Springer0361-7688
CKnowledge-Based Systems7.2Elsevier0950-7051
CFuture Generation Computer Systems6.1Elsevier0167-739X

관련 학회

CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2026-03-16
CA2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
CA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
CTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
CB1ICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
CHPCCInternational Conference on High Performance Computing and Communications2025-04-302025-06-152025-08-13
CA1GECCOGenetic and Evolutionary Computation Conference2025-01-222025-03-192025-07-14
CA1GlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07
CA1ICPRInternational Conference on Pattern Recognition2026-01-102026-03-312026-08-17
CB3KSEMInternational Conference on Knowledge Science, Engineering and Management2025-03-042025-05-302025-08-04

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요

광고