Skip to main content

Computer-Aided Micro-Analysis of Programs

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Cohen:ICSE79,
  author    = {Jacques Cohen},
  title     = {{Computer-Aided} {Micro-Analysis} of Programs},
  booktitle = {ICSE},
  pages     = {79--84},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}

Related papers

PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract) ICSE 1976
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
MAO - An extensible micro-architectural optimizer CGO 2011
PyCG: Practical Call Graph Generation in Python ICSE 2021
A micro-economic approach to conflict resolution in mobile computing FSE 2002
Tackling the Matrix Multiplication Micro-Kernel Generation with Exo CGO 2024
Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
The Modular Framework of Computer-Aided Verification CAV 1990