Higher-Order and Symbolic Computation (Record no. 456804)

MARC details
000 -LEADER
fixed length control field 03604nas a22003855i 4500
001 - CONTROL NUMBER
control field 1573-0557
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200203194406.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150723s||||||||xxuuu poo|||||| b|EN |d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 1573-0557
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/10990.1573-0557
Source of number or code doi
210 10 - ABBREVIATED TITLE
Abbreviated title Higher-Order Symb Comput
245 10 - TITLE STATEMENT
Title Higher-Order and Symbolic Computation
Medium [electronic resource] /
Statement of responsibility, etc edited by Olivier Danvy, C.L. Talcott.
247 00 - FORMER TITLE
Title LISP and Symbolic Computation
264 #1 -
-- New York :
-- Springer US :
-- Imprint: Springer.
300 ## - PHYSICAL DESCRIPTION
Other physical details online resource.
520 ## - SUMMARY, ETC.
Summary, etc 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational intelligence.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
-- http://scigraph.springernature.com/things/product-market-codes/I16048
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Symbolic and Algebraic Manipulation.
-- http://scigraph.springernature.com/things/product-market-codes/I17052
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational Mathematics and Numerical Analysis.
-- http://scigraph.springernature.com/things/product-market-codes/M1400X
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational Intelligence.
-- http://scigraph.springernature.com/things/product-market-codes/T11014
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Danvy, Olivier.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Talcott, C.L.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed version:
International Standard Serial Number 1388-3690
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/10990.1573-0557">https://doi.org/10.1007/10990.1573-0557</a>
Public note Hybrid
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type ЕЖурнал

No items available.