Higher-Order and Symbolic Computation (Record no. 2959)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03140nas a22003495i 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 | 20260610082512.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. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | New York : |
| Name of producer, publisher, distributor, manufacturer | Springer US : |
| -- | Imprint: Springer. |
| 300 ## - online resource | |
| 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 entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science—Mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematics—Data processing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Symbolic and Algebraic Manipulation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational Mathematics and Numerical Analysis. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational Intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Danvy, Olivier. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Talcott, C.L. |
| Relator term | editor. |
| Relationship | 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 | |
| Relationship information | 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 |
No items available.