default search action
2nd Ershov Memorial Conference 1996: Novosibirsk, Russia
- Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Lecture Notes in Computer Science 1181, Springer 1996, ISBN 3-540-62064-8
Invited Talks
- Dines Bjørner:
Semantics and Laws of Man-Made Infrastucture Systems (Abstract). 1 - Niklaus Wirth:
The Language Lola, FPGAs and PLDs in Teaching Digital Circuit Design. 2-20 - Walter Dosch:
Calculating Digital Counters. 21-39
Programming Methodology
- Alexander A. Stepanov:
Generic Programming (Abstract). 40 - Alexandre V. Zamulin:
Algebraic Semantics of the Oberon Target Machine. 41-54 - Cornelis H. A. Koster:
The Making of Algol 68. 55-67
Artificial Intelligence
- Brian H. Mayoh:
Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine. 68-79 - Tatyana M. Yakhno, Evgueni S. Petrov:
Application of Subdefinite Models for Solving Constraint Satisfaction Problems. 80-90 - Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov:
Problem Solving in the Object-Oriented Technological Environment NeMo+. 91-100
Natural Language Processing
- Pieter A. M. Seuren:
What a Universal Semantic Interlingua Can and Cannot Do. 101-110 - Irina Kononenko
, Serge Sharoff:
Understanding Short Texts with Integration of Knowledge Representation Methods. 111-121
Machine Learning
- Rusins Freivalds, Thomas Zeugmann:
Co-Learning of Recursive Languages from Positive Data. 122-133 - Basilis Boutsinas, Stergios Papadimitriou, Georgios Pavlides:
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. 134-145
Dataflow and Concurrency Models
- Ludwik Czaja:
Process in Cause-Effect Structures. 146-165 - Peter Bachmann:
On the Power of Recursion in Dataflow Schemes. 166-177 - Elena Trichina:
Derivation of Explicitly Parallel Code from Declarative Program by Transformations. 178-190
Parallel Programming
- N. Raja, R. K. Shyamasundar:
Actors as a Coordinating Model of Computation (Extended Abstract). 191-202 - A. S. Nepomniaschaya
An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems. 203-213 - Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
Adding Design Strategies to Fork Algebras. 214-226
Supercompilation
- Valentin F. Turchin:
Supercompilation: Techniques and Results. 227-248 - Andrei P. Nemytykh, Victoria A. Pinchuk:
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. 249-260 - Robert Glück, Jesper Jørgensen:
Fast Binding-Time Analysis for Multi-Level Specialization. 261-272
Partial Evaluation
- Arne J. Glenstrup, Neil D. Jones:
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. 273-284 - Peter Thiemann, Michael Sperber:
Polyvariant Expansion and Compiler Generators. 285-296 - Luis Mandel, María Victoria Cengarle:
The Disjunctive Constrained Lambda Calculus. 297-309
Object-Oriented Programming
- Victor Ivannikov, Vladimir Zadorozhny, Rainer Kossmann, Boris Novikov:
Efficient Metaobject Control Using Mediators. 310-329 - Wolfgang Pree, Gustav Pomberger:
Framework Component Systems: Concepts, Design Heuristics, and Perspectives. 330-340 - Joachim Hans Fröhlich:
Prototype of a Run-Time Adaptable, Object-Oriented System. 341-349
Semantics and Abstract Interpretation
- Viktor K. Sabelfeld:
The Tree Equivalence Problem for Linear Recursion Schemes. 350-361 - Lunjin Lu:
A Mode Analysis of Logic Programs by Abstract Interpretation. 362-373 - Torben Æ. Mogensen:
A Semantics-Based Determinacy Analysis for Prolog with Cut. 374-385
Programming of Graphical Interfaces
- Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt:
Communicating Functional Agents and Their Application to Graphical User Interfaces. 386-397 - Ton Vullinghs, Wolfram Schulte, Thilo Schwinn:
The Design of a Functional GUI Library Using Constructor Classes. 398-408
Logic Programming
- Andrei Voronkov:
Merging Relational Database Technology with Constraint Technology. 409-419 - Michael I. Dekhtyar, Alexander Ja. Dikovsky:
On Homeostatic Behavior of Dynamic Deductive Data Bases. 420-432 - Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki:
On Transformations into Linear Database Logic Programs. 433-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: