Вы здесь

Главная

функция

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

Introduction to the Proposed Standard for the Elementary Functions in Ada
Logic Verification of Incomplete Functions and Design Error Location
MILES: A new step toward the integration of Logic and Functions
Model-based Invariant Functions and Their Use for Recognition
Model Checking of Systems Employing Communicative Functions
Modeling Decisions for Artificial Intelligence: Proc./15th International Conference, MDAI 2018, Mallorca, Spain, October 2018
Multiple Dispatch as Dispatch on Tuples
Object Migration: A Constraint-Driven Approach
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What s new?
On Functions and Types: A Tutorial
On Interprocedural Data Flow Analysis for Object Oriented Languages
On linear decision trees computing Boolean Functions
On Linear List Recursion in Parallel
On Parallel Processing of Aggregate and Scalar Functions in Object-Relational DBMS
On the Duality between Mechanistic Learners and What it is They Learn
On the Limitations of Ordered Representations of Functions
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Optimizing Generic Functions
Order Based Analysis Functions in NCR Teradata Parallel RDBMS
Pairing-Based Gryptography - Pairing 2010: Proc./4th International Conference, Yamanaka Hot Spring, Japan, December 2010
Parallel implementations of Equational function definitions by program transformation
Partial Functions in a Total Setting
Partial Functions in Practice
Passing Large Dynamic Objects out of Function Frame Boundaries: The Temporary Linked List Method
Polymorfic Functions in Modula-2
Practical Minimal Perfect Hash Fanctions for Large Databases
Practical Minimal Perfect Hashing Functions for Large Databases
Predicative Recurrence in Finite Types
Proposed Standard for a Generic Package of Complex Elementary Functions
Proposed Standard for a Generic Package of Elementary Functions for Ada
Proposed Standard for a Generic Package of Primitive Functions for Ada
Provably recursive programs and program extraction
Rationale for the Proposed Standard for a Generic Package of Complex Elementary Functions
Rationale for the Proposed Standard for a Generic Package of Elementary Functions for Ada
Rationale for the Proposed Standard for a Generic Package of Primitive Functions for Ada
Real Recursive Functions and Real Extensions of Recursive Functions
Recursive Functions in a Data Base Language for Complex Objects
RISC-CLP(CF) Constraint Logic Programming over Complex Functions
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-language of PCF
Special Functions and Infinite-Dimensional Representations of Lie Groups
Specificational Functions
Stack Management of Runtime Structures in Distributed Implementations
Symbolic Test Case Generation for Primitive Recursive Functions
Synthesis of O(lg n) Testable Trees
Template Instantiation For C++
The Direct Cost of Virtual Function Calls in C++
The Euclidean Definition of the Functions div and mod
The Function Processor: An Architecture for Efficient Execution of Recursive Functions
The weakest specifunction