Programming language

Interprocedural query extraction for transparent persistence

Languages / Programming Languages / Static Analysis / Program Analysis / Persistence / Databases / Language Change / Optimization / Compiler / Program Transformation / Feasibility / World peace solution / Database Languages / Database / Object Oriented / Programming language / Object Relational Mapping / Databases / Language Change / Optimization / Compiler / Program Transformation / Feasibility / World peace solution / Database Languages / Database / Object Oriented / Programming language / Object Relational Mapping

Download

A type-level approach to component prototyping

Levels of Abstraction / Type System / Programming language / Component composition / Component Model

Download

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

Download

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

Download

Logical Concurrency Control from Sequential Proofs

Software Engineering / Software Development / Pure Mathematics / Programming / Computer Software / Logical Methods in Computer Science / ESOP / Concurrency Control / Boolean Satisfiability / Programming language / Logical Methods in Computer Science / ESOP / Concurrency Control / Boolean Satisfiability / Programming language

Download

Alpha: Una notación algorítmica basada en pseudocódigo

Computer Science / Algorithms / Learning And Teaching In Higher Education / Programming language / Pseudocode

Download

Engineering Large Parallel Functional Programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

Download

Engineering large parallel functional programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

Download

Dual-Frequency Microwave Moisture Sensor Based on Circular Microstrip Antenna

Mechanical Engineering / Microstrip Antenna / Sensors / Data acquisition / Data Collection / Error Correction / Moisture Content / Standard Error / Electrical And Electronic Engineering / Programming language / Error Correction / Moisture Content / Standard Error / Electrical And Electronic Engineering / Programming language

Download

Syntactic control of concurrency

Model Checking / Theoretical Computer Science / Mathematical Sciences / Second Order / Type System / Game semantics / Observational Equivalence / Programming language / Data Type / Game semantics / Observational Equivalence / Programming language / Data Type

Download

Integrating algorithm animation into a declarative visual programming language

Computer Science / Animation / Computational Linguistics / Computer Animation / Scientific Computing / Computer Languages / Visual Programming / Feedback / Prototypes / Visual Programming Language / Programming language / Computer Languages / Visual Programming / Feedback / Prototypes / Visual Programming Language / Programming language

Download

Tribe: a simple virtual class calculus

Polymorphism / Language Design / Type System / Programming language

Download

Ladder programs validation through model-code traceability

Verification and Validation / Supervisory Control / Control system / Formal method / Non Functional Requirement / Industrial Control / Sensors and Actuators / Software Requirement Specification / Programmable Logic Controller / Fault Tolerant / Typical Development / Software Development Process / Programming language / Industrial Control / Sensors and Actuators / Software Requirement Specification / Programmable Logic Controller / Fault Tolerant / Typical Development / Software Development Process / Programming language

Download

Engineering large parallel functional programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

Download

Implementing a practical spatio-temporal composite event language

Mobile Systems / Spatial and Temporal Reasoning / Case Study / New Zealand / Pattern Matching / Programming language / Birthday / Session Types / Programming language / Birthday / Session Types

Download

A Full Pattern-Based Paradigm for XML Query Processing

Comparative Study / XML Schema / Pattern Matching / Programming language

Download

Copyright © 2017 DATOSPDF Inc.