Вы здесь

Главная

программирование

Связанные издания:

A Unifying Type-Theoretic Framework for Objects
Automata, Languages and Programming: Proc./19th International Colloquium. Wien, Austria, July 1992
Automata, Languages and Programming: Proc./29th Intern. Colloquium, ICALP 2002, Malaga, Spain, July 2002
Automata, Languages, and Programming: Proc./31st International Colloquium, ICALP 2004. Turku, Finland, July 2004
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging
Automatic Generation and Use of Abstract Structure Operators
Automatic Generation of Valid Linear Mesures for CLP(P) Programs
A Verifiable Exeption Handling Model for Parallel Programming
A Verified Implementation of Narrowing
A Visualization System for Multithreaded Programming
Avoiding Repeated Tests in Pattern Matching
A Workshop Support Grammatical Programming
Axioms in Definitional Calculi
BABEL: A Functional and Logic Programming Language based on constructor discipline and narrowing
Backtracking without Trailing in CLP(R )
Bauhaus Linda
BDL: A Specialized Language for Per-Object Reactive Control
Begriffsverzeichnis: a Concept Index
Big OOP, No Oops
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors
Binding Time Analysis: A New PERspectives
Blackboard Programming in Shared Prolog
Blending Imperative and Relational Programming
Block Structured Object Programming
Booch s Ada vs. Liskov s Java: Two Approaches to Teaching Software Design
Boolean Constraint Solving Using CLP(FD)
B (PN)2 - a Basic Petri Net Programming Notation
Cache Behavior of Combinator Graph Reduction
Calculating Compilers
Calculating Encoding and Decoding Functions for Prefix Codes
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
Can Software Engineering Afford to Improve the Process?
Capsule Oriented Reverse Engineering for Software Reuse
CCOL: System Suport for Distributed Programming
CCSP - A Formal System for Distributed Program Debugging
C-Expressions: A Variable-Free Calculus for Equational Logic Programming
Chapter 2. The Sisal Project: Real World Functional Programming
Checking Spanning Trees for Optimally Using Associative Parallel Processors and Its Visualization
CHIP and Propia
Cilk: An Efficient Multithreaded Runtime System
C++ in Eight Weeks
CLAO: An Object-Oriented Programming System for Distributed Memory Parallel Machines
Classifying Inheritance Mechanisms in Concurrent Object-Oriented Programming
CLOStrophobia: Its Etiology and Treatment
Coevolutionary Fuzzy Modeling
Collecting More Garbage
Combination of Inheritance Hierarchies
Combinatorial Image Analysis: Proc./18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 2017
Combinatorial Optimization: Revised Selected Papers/6th International Symposium, ISCO 2020, Montreal,QC,Canada, May 2020
Combining Functional and Logic Programming Languages