Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
язык
Связанные издания:
1+1=1 : An Optimizing Caml Compiler
1997 IEEE Symposium on Visual Languages: Proc./Isle of Capri, Italy, September 23-26, 1997
1-Bounded TWA Cannot Be Determinized
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
5. Spatio-temporal Models and Languages: An Approach Based on Constraints
A 32-bit LISP Processor for the AI Workstation ELIS with a Multiple Programming Paragigm Language, TAO
ABC/ADL: An ADL Supporting Component Composition
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
About primitive recursive algorithms
About Synchronization Languages
About Synchronous Programming and Abstract Interpretation
About the "Correctness" and "Adequacy" of PLUSS Specifications
A Brief Introduction to Coloured Petri Nets
A Brief Look at Extension Programming Before and Now
Abstracting Interactions Based on Message Sets
Abstracting Synchronization in Concurrent Constraint Programming
Abstract Interpretation by Dynamic Partitioning
Abstract Interpretation for Concurrent Logic Languages
Abstract Language Design
Abstract Model Checking of Infinite Specifications
Abstract State Machines for the Composition of Architectural Styles
A Business Process Design Language
A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in SAC
A Case Study in the Parallel Implementation of Functional Languages Using Skeletons
Ace: Linguistic Mechanisms for Customizable Protocols
A Checkable Interface Language for Pointer-Based Structures
ACL as a Joint Project between Participants: A Preliminary Report
A class abstraction for a hierarchical type system
A Classification and Comparison Framework for Software Architecture Description Languages
A Client-Side Stub Interpreter
A Closed Form for DATALOG Queries with Integer Order
A CLP(R) Options Trading Analisys System
Acme-Based Software Architecture Interchange
A Communication Backend for Parallel Language Compilers
A Comparison of Finite and Cellular Automata
A Compiler Abstraction for Machine Independent Parallel Communication Generation
A Compiler for HDC
A Complete Indexing Scheme for WAM-based Abstract Machines
A Complete Resolution Method for Logical Meta-programming Languages
A Component Calculus for Modeling the Olan Configuration Language
A Component Language for Hybrid Solver Cooperations
A Computer supporting Data Flow, Control Flow and Updateable Memory
A Conceptual Markup Language That Supports Interoperability between Business Rule Modeling Systems
A Conceptual Modelling Approach to Authoring-in-the-Large for Hypertext Documents
A Concurrent Generational Garbage Collector for a Parallel Graph Reducer
A Configuration Approach to Parallel Programming
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages
A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
A Control Language for Designing Constraint Solvers
ACTILOG: An Agent Activation Language
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »