Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
SIGPLAN Notices
Связанные издания:
Static Head Nodes in the Operations on Dynamic Structures
Static Interpretation of Modules
Static Single Assignment Form for Machine Code
Static Slicing of Threaded Programs
Static Timing Analysis of Real-Time Systems
Static Type Checking of Multi-Methods
Status of Object-Oriented COBOL (Panel)
Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs
Storage Use Analysis and its Applications
Streamlining the Project Cycle with Object-Oriented Requirements
Strength Reduction of Multiplications by Integer Constants
Strongly Typed Flow-Directed Representation Transformations
Strongtalk: Typechecking Smalltalk in a Production Environment
Structural Active Object Systems for Simulation
Structured Programming in Java
Structuring Graphical Paradigms in TkGofer
Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code
Subject-Oriented Programming (A Critique of Pure Objects)
SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers
SUIF Explorer: An Interactive and Interprocedural Parallelizer
Support for Garbage Collection at Every Instruction in a JavaTM Compiler
Supporting User-Friendly Analysis of Timing Constraints
Surpassing the TLB Performance of Superpages will Less Operating System Support
Symbolic and Spatial Database for Structural Biology
Synchronization and Communication in the T3E Multiprocessor
Synchronous Kahn Networks
Synopsis of Orca, A Simple Language Implementation of Phase Abstractions
Systematic Realisation of Control Flow Analyses for CML
System Support for Object Groups
Taming Effects with Monadic Typing
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation
Teaching Object-Oriented Design with Heuristics
Teapot: Language Support for Writing Memory Coherence Protocols
Techniques for Partial Evaluation of Imperative Languages
Template Instantiation For C++
Terminable Statements and Destructive Computation
The Amadeus GRT - Generic Runtime Support for Distributed Persistent Programming
The Apertos Reflective Operating System: The Concept and Its Implementation
The Ariadne Debugger: Scalable Application of Event-Based Abstraction
The Basic Object System: Supporting a Spectrum from Prototypes to Hardened Code
The Beginning and Development of FORMAC (FORmula MAnipulation Compiler)
The Birth of Prolog
The Bits Between the Lambdas: Binary Data in a Lazy Functional Language
The Case for a Single-Chip Multiprocessor
The Checkers Problem. A solution with linear time complexity
The C++ Interface in Objectivity
The Cluster Compiler - A Tool for the Design of Time-Triggered Real-Time Systems
The COMEY 6502 Compiler
The Concert Signature Representation: IDL as Intermediate Language
The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover
« первая
‹ предыдущая
…
16
17
18
19
20
21
22
23
24
следующая ›
последняя »