Вы здесь

Главная

SIGPLAN Notices

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

A Theory of Type Qualifiers
A Theory of Weak Bisimulation for Core CML
A Third-Generation SELF Implementation: Reconciling Responsiveness with Performance
A Tightly-Coupled Processor-Network Interface
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
ATOM - A System for Building Customized Program Analysis Tools
Atomic Heap Transactions and Fine-grain Interrupts
A Transformation System for CLP with Dynamic Scheduling and CCP
A Translator from C to a Lambda-Calculus Representation
A Traveling Salesman in Java
A Tribute to FIG-Forth
A Type Based Sharing Analysis for Update Avoidance and Optimisation
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
A Type System for Object Initialization in the JavaTM Bytecode Language
A Type System of Logic Objects
Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs
Automatic generation of sheduling and communication code in real-time parallel programs
Automatic Inference of Models for Statistical Code Compression
Automatic Inheritance Hierarchy Restructuring and Method Refactoring
Automatic Inline Allocation of Objects
Automatic Management of Operating-System Resources
Automatic Parallelization of Divide and Conquer Algorithms
Automatic Verification of Pointer Programs using Monadic Second-Order Logic
A Variation of Knoop, Ruthing, and Steffen s Lazy Code Motion
Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches
Avoiding Unconditional Jumps by Code Replication
A Whirlwind Tour of Forth Resources
Back to the Future: The Story of Squeak, A Practical Smalltalk Written in Itself
Backtracking without Trailing in CLP(R )
Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain
Balancing Runtime and Replay Costs in a Trace-and-Replay System
Barrier techniques for Incremental Tracing
Basic Compiler Algorithms for Parallel Programs
Basic Forever
Basic Operations of the VisiCola Scope Model
Better C: An Object-Oriented C Language with Automatic Memory Manager Suitable for Interactive Applications
Beyond Definition/Use: Architectural Interconnection
Beyond ML
Beyong Induction Variables
Bibliograthy on Syntax Error Handling in Context Free Languages
Binary Wrapping: A Technique for Instrumenting Object Code
Binding Time Analysis: A New PERspectives
Block Structured Object Programming
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form
Bottom in the Imperative World
Bottom-up Tree Rewriting Tool MBURG
Branch Prediction For Free
Breadth-First Search in the Eight Queens Problem
Bug Analysis of Pascal Programs
Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices