Keywords:
Logic design
;
Computer science Congresses
;
Software engineering
;
Artificial intelligence
;
Machine theory.
;
Mathematical Logic and Formal Languages
;
Computer Science
;
Logics and Meanings of Programs
;
Artificial Intelligence (incl. Robotics)
;
Software Engineering
;
Konferenzschrift 1996
;
Informatik
Description / Table of Contents:
Semantics and laws of man-made infrastructure systems -- The language lola, FPGAs, and PLDs in teaching digital circuit design -- Calculating digital counters -- Generic programming -- Algebraic semantics of the Oberon target machine -- The making of Algol 68 -- Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine -- Application of subdefinite models for solving constraint satisfaction problems -- Problem solving in the object-oriented technological environment NeMo+ -- What a universal semantic interlingua can and cannot do -- Understanding short texts with integration of knowledge representation methods -- Co-learning of recursive languages from positive data -- Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance -- Processes in cause-effect structures -- On the power of recursion in dataflow Schemes -- Derivation of explicitly parallel code from declarative program by transformations -- Actors as a coordinating model of computation (extended abstract) -- An associative version of the Prim-Dijkstra algorithm and its application to some graph problems -- Adding design strategies to fork algebras -- Supercompilation: Techniques and results -- Program transformation with metasystem transitions: Experiments with a supercompiler -- Fast binding-time analysis for multi-level specialization -- BTA Algorithms to ensure termination of off-line partial evaluation -- Polyvariant expansion and compiler generators -- The disjunctive constrained lambda calculus -- Efficient metaobject control using mediators -- Framework component systems: Concepts, design heuristics, and perspectives -- Prototype of a run-time actaptable, object-oriented system -- The tree equivalence problem for linear recursion schemes -- A mode analysis of logic programs by abstract interpretation -- A semantics-based determinacy analysis for prolog with cut -- Communicating functional agents and their application to graphical user interfaces -- The design of a functional GUI library using constructor classes -- Merging relational database technology with constraint technology -- On homeostatic behavior of dynamic deductive data bases -- On transformations into linear database logic programs.
Type of Medium:
Online Resource
Pages:
Online-Ressource (XVII, 446 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer Lecture Notes Archive
ISBN:
9783540496373
Series Statement:
Lecture notes in computer science 1181
URL:
http://www.springerlink.com/content/x50086231407
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-62064-8
URL:
http://dx.doi.org/10.1007/3-540-62064-8
URL:
https://doi.org/10.1007/3-540-62064-8
URL:
https://zbmath.org/?q=an:0855.00036
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE004CCF70865D9FCFD19C12579C0003DDA5B.pdf
DOI:
10.1007/3-540-62064-8
Language:
English
Note:
Literaturangaben
Permalink