国内外各等级期刊(主要是介绍计算机类的期刊)
国外篇：
一、程序语言和软件工程
权威期刊类:
ACM Trans on Programming Languages & Systems
Annals of Software Engineering
IEEE Trans on Software Engineering
Jnl of Functional Programming
ACM Trans on S/W Eng and Methodology
Formal Methods in System Design
著名期刊类:
The Jnl of Logic Programming
IEEE Procs - Software
Jnl of Software Maintenance: Research and Practice
Higher-Order and Symbolic Computation (previously known as LISP and Symbolic Computation)
Software: Practice and Experience
Jnl of Functional and Logic Programming
The Constraints Journal
Journal of Logic and Computation