|
European Symposium On Programming
The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. * According tCORE Ranking ESOP has rank A (i.e. "excellent conference, and highly respected in a discipline area", top 14%). * According tGoogle Scholar Metrics(as of 20 July 2019), ESOP has H5-index 26 and H5-median 38. Initially a biannual conference, ESOP moved in 1998 into an annual schedule and became one of the founding conferences of the European Joint Conferences on Theory and Practice of Software ( ETAPS). See also * List of computer science conferences * List of computer science conference acronyms * List of publications in computer science * Outline of computer science References Further reading Special issueof ''Theoretical Computer Science'' on the European Symposium on Programming Special issueof ''ACM Transactions on Programming Languages and Systems'' on the E ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Languages
A programming language is a system of notation for writing computer program, computer programs. Most programming languages are text-based formal languages, but they may also be visual programming language, graphical. They are a kind of computer language. The description of a programming language is usually split into the two components of Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), which are usually defined by a formal language. Some languages are defined by a specification document (for example, the C (programming language), C programming language is specified by an International Organization for Standardization, ISO Standard) while other languages (such as Perl) have a dominant Programming language implementation, implementation that is treated as a reference implementation, reference. Some languages have both, with the basic language defined by a standard and extensions taken from the dominant implementation being commo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...s. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming language is usually split into the two components of syntax (form) and semantics (meaning), which are usually defined by a formal language. Some languages are defined by a specification document (for example, the C programming language is specified by an ISO Standard) while other languages (such as Perl) have a dominant implementation that is treated as a reference. Some languages have both, with the basic language defined by a standard and extensions taken from the dominant implementation being common. Programming language theory is the subfield of computer science that studies the design, implementation, analysis, characterization, and classification of programming languages. Definitions There are many considerations when defining ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
H5-index
Journal ranking is widely used in academic circles in the evaluation of an academic journal's impact and quality. Journal rankings are intended to reflect the place of a journal within its field, the relative difficulty of being published in that journal, and the prestige associated with it. They have been introduced as official research evaluation tools in several countries. Measures Traditionally, journal ranking "measures" or evaluations have been provided simply through institutional lists established by academic leaders or through a committee vote. These approaches have been notoriously politicized and inaccurate reflections of actual prestige and quality, as they would often reflect the biases and personal career objectives of those involved in ranking the journals; also causing the problem of highly disparate evaluations across institutions. Also, see YouTube video narrative of this paper at: Consequently, many institutions have required external sources of evaluation of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ETAPS
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and one ( ESOP) is top ranked in programming languages. Constituting conferences ETAPS currently confederates the following conferences: * European Symposium on Programming (ESOP, since 1998) * Foundations of Software Science and Computation Structures (FoSSaCS, since 1998) * Fundamental Approaches to Software Engineering (FASE, since 1998) * Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998) From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well. TACAS TACAS (Tools and Algorithms for the Construction and An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Computer Science Conferences
This is a list of academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names. General * FCRC – Federated Computing Research Conference Algorithms and theory Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages: * CCC - Computational Complexity Conference * FCT – International Symposium on Fundamentals of Computation Theory * FOCS – IEEE Symposium on Foundations of Computer Science * ICALP – International Colloquium on Automata, Languages and Programming * ISAAC – International Symposium on Algorithms and Computation * MFCS – International Symposium on Mathematical Foundations of Computer Science * STACS – Symposium on Theoretical Aspects of Computer Science * STOC – ACM Symposium on Theory of Com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Computer Science Conference Acronyms
This is a list of academic conferences in computer science, ordered by their acronyms or abbreviations. A * AAAI – AAAI Conference on Artificial Intelligence * AAMAS – International Conference on Autonomous Agents and Multiagent Systems * ABZ – International Conference on Abstract State Machines, Alloy, B and Z * ACL – Annual Meeting of the Association for Computational Linguistics * AE - Artificial Evolution Conference * ALGO – ALGO Conference * AMCIS – Americas Conference on Information Systems * ANTS – Algorithmic Number Theory Symposium * ARES – International Conference on Availability, Reliability and Security * ASIACRYPT – International Conference on the Theory and Application of Cryptology and Information Security * ASP-DAC – Asia and South Pacific Design Automation Conference * ASE – IEEE/ACM International Conference on Automated Software Engineering * ASWEC – Australian Software Engineering Conference * ATMOS – Workshop on Algorithmic Appro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Publications In Computer Science
This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: *Topic creator – A publication that created a new topic *Breakthrough – A publication that changed scientific knowledge significantly *Influence – A publication which has significantly influenced the world or has had a massive impact on the teaching of computer science. Artificial intelligence ''Computing Machinery and Intelligence'' * Alan Turing * Mind, 59:433–460, 1950. Online copy Description: This paper discusses the various arguments on why a machine can not be intelligent and asserts that none of those arguments are convincing. The paper also suggested the Turing test, which it calls "The Imitation Game" as according to Turing it is pointless to ask whether or not a machine can ''think'' intelligently, and checking if it can ''act'' intelligently is sufficient. ''A Proposal for the Dartmouth S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outline Of Computer Science
Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. One well known subject classification system for computer science is the ACM Computing Classification System devised by the Association for Computing Machinery. What is computer science? Computer science can be described as all of the following: * Academic discipline * Science ** Applied science Subfields Mathematical foundations * Coding theory – Useful in networking, programming, system development, and other areas where computers communicate with each other. * Game theory – Useful in artificial intelligence and cybernetics. *Discrete Mathematics * Graph theory – Foundations for data structures and searching algorithms. * Mathematical logic – Boolean logic and other ways of modeling logical queries; the uses and limitations of formal proof methods * Number theory – T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Science (journal)
''Theoretical Computer Science'' (TCS) is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index. According to the Journal Citation Reports, its 2020 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... is 0.827. References Computer science journals Elsevier academic journals Publications established in 1975 {{comp-sci-theory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM Transactions On Programming Languages And Systems
The ''ACM Transactions on Programming Languages and Systems'' (''TOPLAS'') is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. Background Published since 1979, the journal's scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software. It is indexed in Scopus and SCImago. The editor-in-chief is Andrew Myers (Cornell University). According to the ''Journal Citation Reports'', the journal had a 2020 impact factor of 0.410. References External links * TOPLASat ACM Digital Library TOPLASat DBLP Computer science journals English-language journals Publications established in 1979 Bimonthly journals Transactions on Programming Languages and Systems The ''ACM Transactions on Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science Of Computer Programming
''Science of Computer Programming'' is a peer-reviewed scientific journal covering computer programming. It is published by Elsevier and the editors-in-chief are M.R. Mousavi ( King's College London) and A. De Lucia (University of Salerno). The journal was established in 1981. Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2020 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... of 0.863. References External links * Computer science journals Elsevier academic journals English-language journals Journals published between 13 and 25 times per year Academic journals established in 1981 {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
