Información de la Revista
Higher-Order and Symbolic Computation (LISP)
http://www.springer.com/computer/theoretical+computer+science/journal/10990Editor: |
Springer |
ISSN: |
1388-3690 |
Vistas: |
10306 |
Seguidores: |
1 |
Solicitud de Artículos
Higher-Order and Symbolic Computation is an international journal that presents a broad-spectrum forum for results and ideas concerning programming with higher-order and symbolic facilities: first-class functions and continuations, effects and higher-order types, objects, actors, and programs as data. Papers ranging from theory and design to practice and experience and especially about theory used in practice are welcomed, as well as occasional expository papers. The aim is to promote the exchange of ideas and synergy amongst researchers with a wide range of interests and expertise. Key subject areas and topics covered in the journal include: Functional programming with effects; Object-oriented programming; Parallel, concurrent, distributed, and mobile symbolic and functional computation; Programming concepts and abstractions - data abstraction, lazy evaluation, infinite data objects, self reference, reflection, continuations, components, generic functions, inheritance, encapsulation, protection, persistence, meta-objects, communication protocols, etc.; Programming language theory - semantics, specifying and reasoning about programs, programming logics, types and type inference; Semantics based program manipulation - compilation, analysis, partial evaluation, instrumentation, and other program transformations; Implementations and techniques - specialized architectures, compiler design, combinatory models, garbage collection, storage management, and performance analysis; Programming environments and tools - knowledge-based programming tools, artificial intelligence tools, monitoring, and debugging tools; Applications and experience with symbolic computing in the context of real time programming, window systems, user interfaces, operating systems, object-oriented programming, and parallel/distributed computing.
Última Actualización Por Dou Sun en 2013-10-03
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
b | Journal of Symbolic Computation | 0.970 | Elsevier | 0747-7171 |
c | Journal of Logic and Computation | 0.586 | Oxford University Press | 0955-792X |
b | Neural Computation | 1.884 | MIT Press | 0899-7667 |
Journal of Chemical Theory and Computation | 5.313 | American Chemical Society | 1549-9618 | |
Applied Mathematics and Computation | 4.091 | Elsevier | 0096-3003 | |
Engineering Computations | 1.246 | Emerald | 0264-4401 | |
ACM Transactions on Economics and Computation | ACM | 2167-8375 | ||
International Journal of High Performance Computing Applications | SAGE | 1094-3420 | ||
Applied Soft Computing | 6.725 | Elsevier | 1568-4946 | |
Telematics and Informatics | 9.140 | Elsevier | 0736-5853 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
Journal of Symbolic Computation | 0.970 | Elsevier |
Journal of Logic and Computation | 0.586 | Oxford University Press |
Neural Computation | 1.884 | MIT Press |
Journal of Chemical Theory and Computation | 5.313 | American Chemical Society |
Applied Mathematics and Computation | 4.091 | Elsevier |
Engineering Computations | 1.246 | Emerald |
ACM Transactions on Economics and Computation | ACM | |
International Journal of High Performance Computing Applications | SAGE | |
Applied Soft Computing | 6.725 | Elsevier |
Telematics and Informatics | 9.140 | Elsevier |
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
ESA | European Symposium on Algorithms | 2024-04-28 | 2024-09-04 |
ICDSC | International Conference on Distributed Smart Cameras | 2017-05-07 | 2017-09-05 |
VRCAI | International Conference on Virtual Reality Continuum and Its Applications in Industry | 2013-07-15 | 2013-11-17 |
ICRAE | International Conference on Robotics and Automation Engineering | 2020-10-10 | 2020-11-20 |
URAI | International Conference on Ubiquitous Robots and Ambient Intelligence | 2015-07-20 | 2015-10-28 |
CSCI | International Conference on Computational Science and Computational Intelligence | 2018-10-24 | 2018-12-13 |
ICMM | International Conference on Microwave Magnetics | 2012-06-18 | 2012-08-26 |
ICNSC | IEEE International Conference on Networking, Sensing and Control | 2016-12-01 | 2017-05-16 |
MICCAI | International Conference on Medical Image Computing and Computer Assisted Intervention | 2024-02-22 | 2024-10-06 |
ICSC | International Conference on Semantic Computing | 2020-10-12 | 2021-01-27 |
Recomendaciones