Вы здесь

Главная

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

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

15th July 1972: A Significant Moment for Logic Programming
1988-2003: эволюция программирования за последние 15 лет
1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 96). Proc./Philadelphia, Pennsylvania, May 24-26, 1996
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
2nd Workshop on Component-Oriented Programming (WCOP 97)
Abduction in Temporal Reasoning
About Synchronous Programming and Abstract Interpretation
A bridge between constructive logic and computer programming
A Brief Introduction to Inductive Logic Programming
A Brief Look at Extension Programming Before and Now
Abstract Interpretation and Application to Logic Programs
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstractions for Continuous-Media Programming
Abstract Polymorphism and Code Reuse
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
A Case Study in the Parallel Implementation of Functional Languages Using Skeletons
A Categorical Model for Logic Programs: Indexed Monoidal Categories
Achieving Speedups for APL on an SIMD Distributed Memory Machine
ACL - A Concurrent Linear Logic Programming Paradigm
A Classification of Various Approaches for Object-Oriented Parallel and Distributed Programming
A Closed Form for DATALOG Queries with Integer Order
A CLP(R) Options Trading Analisys System
A Comparison of the Object Oriented Features of Ada 9X and C++
A Compiler Approach to Scalable Concurrent-Program Design
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens?
A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ Language
A Conceptual Model for Megaprogramming
A Configurable Framework for Method and Tool Integration
A Configuration Approach to Parallel Programming
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice
A Confluent Relational Calculus for Higher-Order Programming with Constraints
A Conservative Approach to Meta-Programming in Constraint Logic Programming
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
A CPU Scheduling Simulation From Structured Programming to Object-Oriented Design
Actions and Specificity
Active Programming Strategies in Reuse
Active Visual J++
ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes
Ada95 - An Approach to Overcome the Software Crisis?
Ada 9X Protected Types in Pascal-FC
Ada and C: Differences as the Language for System Programming
Ada in Europe: Proc./Second Intern. Eurospace - Ada-Europe Symp. Frankfurt/Main, Germany, October 1995
Ada in Safety Critical Applications
Adapting Synchronization Counters to the Requirements of Inheritance
A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine
Ada: The Choice for 92: Proc./Ada-Europe Intern.Conf., Athens, Greece, May 1991