Вы здесь

Главная

язык программирования

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

A Gentle Introduction to Haskell
A Geometrical Data-Parallel Language
Agreement Technologies: Revised Selected Papers/6th International Conference, AT 2018, Bergen, Norway, December 2018
A Hardware Implementation of Pure Esterel
A History of CLU
A History of Discrete Event Simulation Programming Languages
A Language-Based Approach to Protocol Implementation
Algebraic Informatics: Revised Selected and Invited Papers/Second International Conference, CAI 2007. Thessaloniki, Greece, May 2007
Algebraic Specification of an Oberon Compiler
Algebraic Specification of the Programming Language Oberon.
Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday
Algorithmische Sprache und Programmentwicklung
A List-Oriented Extension of the Lambda-Calculus Satisfying the Church-Rosser Theorem
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
A Memoizing Semantics for Functional Logic Languages
A Meta-Language for Typed Object-Oriented Languages
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
A Modular Mathematical Programming Language
A Multi-Agent Framework Based on Communication and Concurrency
A Multiprocessor Implementation of Joyce
An Ada Math Library for Real-Time Avonics
An Algebraically Specified Language for Data Directed Design
Analyzing Mobile Code Languages
An Analysis/Synthesis Language with Learning Strategies
An APL Implementation of Todd-Coxeter Coset Enumeration
A Natural Deduction treatment of Operational Semantics
An Editor for Helping Novices to Learn Standard ML
An Efficience Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus
An Equational Language for Data-Parallelism
An Evaluation of High Performance Fortran
An Evaluation of the Message-Passing Interface
A Newcomer s Impressions of Scheme
A New Language for Multicomputer Programming
An Executable Language Definition
An Implementation of Action Semantics (Summary)
An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages
An Introduction to COLD-K
An Introduction to LIFE-Programming with Logic, Inheritance, Functions, and Equations
An M-Net Semantics for B(PN) with Procedures
An Object-Oriented Tower of Babel
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
An Operational Semantics for Scheme
A Note on "Towards a Type Theory for Active Objects"
An Overview of MPC++
A Parallel Programming Language for Dynamic Architecture Computers
A Parallel Programming Style and Its Algebra of Programs
APL91 at Stanford: APL Starts Its Second Quarter Century
APL as a Tool of Thought VII
A Pointcut Language for Control-Flow