|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183138.0 |
| 008 |
230201s1996 gw a r 100 0 eng d |
| 020 |
|
|
|a 3540620648
|
| 024 |
8 |
|
|a DIF-M6222
|b 6348
|z DIF005687
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 111 |
2 |
|
|n (2nd :
|d 1996 )
|9 48517
|
| 245 |
0 |
0 |
|a Perspectives of system informatics :
|b Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
|
| 250 |
|
|
|a 1a ed.
|
| 260 |
|
|
|a Berlín :
|b Springer,
|c c1996
|
| 300 |
|
|
|a xvii, 446 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science
|v 1181
|
| 500 |
|
|
|a ISSN 0302-9743 Incluye referencias bibliográficas e índice.
|
| 505 |
0 |
|
|a Semantics and Laws of Man-Made Infrastucture Systems / Bjørner D. -- The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design / Wirth N. -- Calculating Digital Counters / Dosch W. -- Generic Programming / Stepanov A. A. -- Algebraic Semantics of the Oberon Target Machine / Zamulin A. V. -- The Making of Algol 68 / Koster C. H. A. -- Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine / Mayoh B. -- Application of Subdefinite Models for Solving Constraint Satisfaction Problems / Yakhno T. M., Petrov E. S. -- Problem Solving in the Object-Oriented Technological Environment NeMo+ / Telerman V., Sidorov V., Ushakov D. -- What a Universal Semantic Interlingua Can and Cannot Do / Seuren P. A. M. -- Understanding Short Texts with Integration of Knowledge Representation Methods / Kononenko L, Sharoff S. -- Co-Learning of Recursive Languages from Positive Data / Freivalds R., Zeugmann T. -- Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance / Boutsinas B., Papadimitriou S., Pavlides G. -- Processes in Cause-Effect Structures / Czaja L. -- On the Power of Recursion in Dataflow Schemes / Bachmann P. -- Derivation of Explicitly Parallel Code from Declarative Program by Transformations / Trichina E. -- Actors as a Coordinating Model of Computation / Raja N., Shyamasundar R.K. -- An Associative Version of the Prim-Dijkstra Algorithm and its Application to Some Graph Problems / Nepomniaschaya A. S. -- Adding Design Strategies to Fork Algebras / Frias M.F., Baum G.A., Haeberer A.M. -- Supercompilation: Techniques and Results / Turchin V. F. -- Program Transformation with Metasystem Transitions: Experiments with a Supercompiler / Nemytykh A. P., Pinchuk V. A. -- Fast Binding-Time Analysis for Multi-Level Specialization / Gliick R., Jcrgensen J. -- BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation / Jones N.D., Glenstrup A.J. -- Polyvariant Expansion and Compiler Generators / Thiemann P., Sperber M. -- The Disjunctive Constrained Lambda Calculus / Mandel L., Cengarle M. V. -- Efficient Metaobject Control Using Mediators / Ivannikov V., Zadorozhny V., Kossmann R., Novikov B. -- Framework Component Systems: Concepts, Design Heuristics, and Perspectives / Pree W., Pomberger G., Kapsner F. -- Prototype of a Run-Time Adaptable, Object-Oriented System / Fröhlich J.H. -- The Tree Equivalence Problem for Linear Recursion Schemes / Sabelfeld V. K. -- A Mode Analysis of Logic Programs by Abstract Interpretation / Lu L. -- A Semantics-Based Determinacy Analysis for Prolog with Cut / Mogensen T. Æ -- Communicating Functional Agents and Their Application to Graphical User Interfaces / Frauenstein T., Grieskamp W., Pepper P., Südholt M. -- The Design of a Functional GUI Library Using Constructor Classes / Vullinghs T., Schulte W., Schwinn T. -- Merging Relational Database Technology with Constraint Technology / Voronkov A. -- On Homeostatic Behavior of Dynamic Deductive Data Bases / Dekhtyar M.L, Dikovsky A.Ja -- On Transformations into Linear Database Logic Programs / Afrati F., Gergatsoulis M., Katzouraki M. -- List of Posters -- Author Index
|
| 650 |
|
4 |
|a PROGRAMACIÓN DE COMPUTADORAS
|9 46876
|
| 650 |
|
4 |
|a INTELIGENCIA ARTIFICIAL
|9 18040
|
| 650 |
|
4 |
|a PROGRAMACIÓN PARALELA
|9 42841
|
| 650 |
|
4 |
|a PROGRAMACIÓN ORIENTADA A OBJETOS
|9 42796
|
| 650 |
|
4 |
|a PROGRAMACIÓN LÓGICA
|9 42938
|
| 700 |
1 |
|
|a Bjørner, Dines
|9 48518
|
| 700 |
1 |
|
|a Broy, Manfred
|9 43168
|
| 700 |
1 |
|
|a Pottosin, Igor V.
|9 48519
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A02_INT96
|7 0
|9 80530
|a DIF
|b DIF
|d 2025-03-11
|i DIF-04142
|l 0
|o A.0.2 INT96
|p DIF-04142
|r 2025-03-11 17:04:09
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 55474
|d 55474
|
