000			03604nas a22003855i 4500
001			1573-0557
003			DE-He213
005			20200203194406.0
007			cr nn 008mamaa
008			150723s||||||||xxuuu poo|||||| b|EN |d
022			_a1573-0557
024	7		_a10.1007/10990.1573-0557 _2doi
210	1	0	_aHigher-Order Symb Comput
245	1	0	_aHigher-Order and Symbolic Computation _h[electronic resource] / _cedited by Olivier Danvy, C.L. Talcott.
247	0	0	_aLISP and Symbolic Computation
264		1	_aNew York : _bSpringer US : _bImprint: Springer.
300			_bonline resource.
520			_aHigher-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	_aMathematical logic.
650		0	_aComputer science _xMathematics.
650		0	_aComputer mathematics.
650		0	_aComputational intelligence.
650	1	4	_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048
650	2	4	_aSymbolic and Algebraic Manipulation. _0http://scigraph.springernature.com/things/product-market-codes/I17052
650	2	4	_aComputational Mathematics and Numerical Analysis. _0http://scigraph.springernature.com/things/product-market-codes/M1400X
650	2	4	_aComputational Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/T11014
700	1		_aDanvy, Olivier. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aTalcott, C.L. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
776	0	8	_iPrinted version: _x1388-3690
856	4	0	_uhttps://doi.org/10.1007/10990.1573-0557 _zHybrid
999			_c456804 _d456804
942			_cEMG