Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
язык высокого уровня
Связанные издания:
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
A Checkable Interface Language for Pointer-Based Structures
Achieving Type Safety for Low-Level Code
A Constraint-Based Language for Virtual Agents
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
A High-Level Language for Specifying XML Data Transformations
A High Level Visual Language for Spatial Data Management
A High-Performance Hardware-Assisted Real-Time Garbage Collection System
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture
An Introduction to the High-Level Language Standard ML
An MSC Based Representation of DiCons
An Object-Oriented Approach to the Implementation of a High-Level Data Parallel Language
A Practical and Flexible Flow Analysis for Higher-Order Languages
Automatic Accurate Time-Bound Analysis for High-Level Languages
Concurrent Clean
Concurrent ML: Design, Application and Semantics
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
Customization of First-Class Tuple-Spaces in a Higher-Order Language
Encapsulated Search and Constraint Programming in Oz
Event-Driven FRP
Evolution of the High Level Programming Languages: A Critical Perspective
Exploiting Domain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code
F5 - среда для создания программ на языках высокого уровня
First-Class Structures for Standard ML
First Meeting of the Working Group on Machines Oriented Higher Level Languages: Bulletin N 4, IFIP WG 2.4, La Grande Motte, France, May 1974
FORK: A High-Level Language for PRAMs
Globalization and Live Variables
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems
Hardware and Software: The Closing Gap
Higher-Order UnCurrying
High-level Goal-directed Concurrent Processing in Icon
High-Level Languages for Parallel Scientific Computing
Hight Level of Programming Language and Indeterminacy: SETL
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Implementing a Notion of Modules in the Logic Programming Language Prolog
Interface Compilation: Steps Toward Compiling Program Interfaces as Languages
Interfacing Matlab and Software Written in Other Languages
Java on Smart Cards: Programming and Security: Proc./First Intern. Workshop, JavaCard 2000, Cannes, France, September 2000
Kronos: Processor Family for High-Level Languages
LAMBDALG: Higher Order Algebraic Specification Language
Language and Distributed System Support for Complex Organizational Services
Language Constructs and Run-Time System for Parallel Cellular Programming
Language Star for Associative and Parallel Computation with Vertical Data Processing
M2PLUS - A Modula-2 Based Parallel Programming Language and its Implementation
Machine Characterization Based on an Abstract High-Level Language Machine
Macro Processing in High-Level Languages
Model Checking: Back and Forth between Hardware and Software
Model Checking Support for the ASM High-Level Language
On Completion of Constraint Handling Rules
1
2
следующая ›
последняя »