Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
модуль
Связанные издания:
A Behavioral Module System for the Pi-Calculus
A Brief History of Modula and Lilith
Abstraction and Modularization in the BETA Programming Language
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Deductive Database Language Supporting Modules
A Distance Learning Package for Parallel Computing
A Memory Module Specification Using Composable High-Level Petri Nets
A Modal Inference System for Generic Specification with Application to Code Sharing
A Modal Reconstruction of Blocks and Modules in Logic Programming
A Model for Describing Object-Oriented Systems from Multiple Perspectives
A Module System for Meta-Programming
A Multi-Agent Architecture for an Evolving Expert System Module
A Multimodal Logic to Define Modules in Logic Programming
An Algebra of Mixin Modules
An Approach for Defining Ways-of-Working
An Automata-Theoretic Approach to Fair Realizability and Synthesis
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing
A Parallel Programming Environment Supporting Multiple Data-Parallel Modules
A Polymorphic Language with First-Class Modules
A Proposal for Modules in Prolog
A Semantics for Higher-order Functors
A Simple Technique for Automatic Recompilation in Modular Programming Languages
Aspectual Collaborations: Combining Modules and Aspects
A Superimposition Control Construct for Distributed Systems
A Transformation System for Deductive Database Modules with Perfect Model Semantics
A Type System for Well-Founded Recursion
A Type-Theoretic Approach to Higher-Order Modules with Sharing
A Unified Software Pipeline Construction Scheme for Modulo Scheduled Loops
Beyond Definition/Use: Architectural Interconnection
Calculating a Functional Module for Binary Search Trees
Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types)
Calling APL2 from COBOL
Cayenne - a language with dependent types
Cayenne - A Language with Dependent Types
CLAM: Composition Language for Autonomous Megamodules
Classboxes: A Minimal Module Model Supporting Local Rebinding
Compatibility Problems in the Development of Algebraic Module Specifications
Component-Based Software Engineering: Proc./12th International Symposium, CBSE 2009. East Stroudsburg, PA, USA, June 2009
Composing Hidden Information Modules over Inclusive Institutions
Configuration Management in Terms of Modules
Correctness of Generic Modules
CPAM, A Protocol for Software Composition
CPU Utilization of Multimedia Processes: HeiPOET - The Heidelberg Predictor of Execution Times Measurement Tool
Database Application Development as an Object Modeling Activity
Data Encapsulation Using Fortran 77 Modules
Data Warehouse Population Platform
Dependency Analysis for Standard ML
Deployment Descriptions in a World of COTS and Open Source
Derivation of Secure Parallel Applications by Means of Module Embedding
Design of a Specification Language by Abstract Syntax Engineering (prliminary version)
1
2
3
4
следующая ›
последняя »