Using Types to Analyze and Optimize Object-Oriented Programs

ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/383721.383732
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Using Linear Programming to Analyze and Optimize Stochastic Flow Lines

Annals of Operations Research
Management ScienceDecision SciencesOperations Research
2010English

Union-Types in Object-Oriented Schemas

1995English

Completeness Analysis for Incomplete Object-Oriented Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reasoning About Object-Oriented Programs That Use Subtypes

1990English

A Flexible, (C)lp-Based Approach to the Analysis of Object-Oriented Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

The Cascade Analysis Tool: Software to Analyze and Optimize Care Cascades

Gates Open Research
GeneticsMolecular BiologyEnvironmentalBiochemistryPublic HealthMicrobiology Health PolicyMedicineImmunologyOccupational Health
2019English

Object-Oriented Simulation Using Model Builder

1993English

Some Applicable Methods to Analyze and Optimize System Processes in Quality Management

2012English

The Mapping Method as a Toolbox to Analyze, Design, and Optimize Micromixers

Microfluidics and Nanofluidics
Condensed Matter PhysicsOpticalNanoscienceMaterials ChemistryMagnetic MaterialsNanotechnologyElectronic
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy