Journal Information
Higher-Order and Symbolic Computation (LISP)
http://www.springer.com/computer/theoretical+computer+science/journal/10990
Publisher:
Springer
ISSN:
1388-3690
Viewed:
5665
Tracked:
1

Call For Papers
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.
Last updated by Dou Sun in 2013-10-03
Related Journals
CCFFull NameImpact FactorPublisherISSN
bJournal of Symbolic Computation0.876Elsevier0747-7171
cJournal of Logic and Computation0.586Oxford University Press0955-792X
bNeural Computation1.884MIT Press0899-7667
Journal of Chemical Theory and Computation5.313American Chemical Society1549-9618
Applied Mathematics and Computation3.092Elsevier0096-3003
Engineering Computations1.246Emerald0264-4401
ACM Transactions on Economics and ComputationACM2167-8375
International Journal of High Performance Computing Applications SAGE1094-3420
Applied Soft Computing4.873Elsevier1568-4946
Telematics and Informatics3.714Elsevier0736-5853
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa2ESAEuropean Symposium on Algorithms2020-04-292020-06-182020-09-07
ICDSCInternational Conference on Distributed Smart Cameras2017-05-072017-06-022017-09-05
b2VRCAIInternational Conference on Virtual Reality Continuum and Its Applications in Industry2013-07-152013-09-302013-11-17
ICRAEInternational Conference on Robotics and Automation Engineering2020-10-102020-10-252020-11-20
URAIInternational Conference on Ubiquitous Robots and Ambient Intelligence2015-07-202015-07-312015-10-28
CSCIInternational Conference on Computational Science and Computational Intelligence2018-10-242018-11-012018-12-13
ICMMInternational Conference on Microwave Magnetics2012-06-182012-07-092012-08-26
ICNSCIEEE International Conference on Networking, Sensing and Control2016-12-012017-01-152017-05-16
aa1MICCAIInternational Conference on Medical Image Computing and Computer Assisted Intervention2018-03-02 2018-09-16
b2ICSCInternational Conference on Semantic Computing2020-09-282020-11-152021-01-27
Recommendation