Conferences in DBLP
Dines Bjørner Semantics and Laws of Man-Made Infrastucture Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Niklaus Wirth The Language Lola, FPGAs and PLDs in Teaching Digital Circuit Design. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Dosch Calculating Digital Counters. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Stepanov Generic Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre V. Zamulin Algebraic Semantics of the Oberon Target Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelis H. A. Koster The Making of Algol 68. [Citation Graph (0, 0)][DBLP ] Conf ] Brian H. Mayoh Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Tatyana M. Yakhno , Evgueni S. Petrov Application of Subdefinite Models for Solving Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaly Telerman , Vladimir Sidorov , Dmitry Ushakov Problem Solving in the Object-Oriented Technological Environment NeMo+. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter A. M. Seuren What a Universal Semantic Interlingua Can and Cannot Do. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Kononenko , Serge Sharoff Understanding Short Texts with Integration of Knowledge Representation Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Rusins Freivalds , Thomas Zeugmann Co-Learning of Recursive Languages from Positive Data. [Citation Graph (0, 0)][DBLP ] Conf ] Basilis Boutsinas , Stergios Papadimitriou , Georgios Pavlides Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. [Citation Graph (0, 0)][DBLP ] Conf ] Ludwik Czaja Process in Cause-Effect Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bachmann On the Power of Recursion in Dataflow Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Trichina Derivation of Explicitly Parallel Code from Declarative Program by Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] N. Raja , R. K. Shyamasundar Actors as a Coordinating Model of Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] A. S. Nepomniaschaya An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo F. Frias , Gabriel Baum , Armando Martin Haeberer Adding Design Strategies to Fork Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Valentin F. Turchin Supercompilation: Techniques and Results. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei P. Nemytykh , Victoria A. Pinchuk Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück , Jesper Jørgensen Fast Binding-Time Analysis for Multi-Level Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] Arne J. Glenstrup , Neil D. Jones BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Thiemann , Michael Sperber Polyvariant Expansion and Compiler Generators. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Mandel , María Victoria Cengarle The Disjunctive Constrained Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Ivannikov , Vladimir Zadorozhny , Rainer Kossmann , Boris Novikov Efficient Metaobject Control Using Mediators. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Pree , Gustav Pomberger Framework Component Systems: Concepts, Design Heuristics, and Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hans Fröhlich Prototype of a Run-Time Adaptable, Object-Oriented System. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor K. Sabelfeld The Tree Equivalence Problem for Linear Recursion Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Lunjin Lu A Mode Analysis of Logic Programs by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Æ. Mogensen A Semantics-Based Determinacy Analysis for Prolog with Cut. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Frauenstein , Wolfgang Grieskamp , Peter Pepper , Mario Südholt Communicating Functional Agents and Their Application to Graphical User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ton Vullinghs , Wolfram Schulte , Thilo Schwinn The Design of a Functional GUI Library Using Constructor Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Merging Relational Database Technology with Constraint Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky On Homeostatic Behavior of Dynamic Deductive Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Foto N. Afrati , Manolis Gergatsoulis , Maria Katzouraki On Transformations into Linear Database Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 