Program transformations for configuring components
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A Behavior Model for Next Generation Test Systems
Journal of Electronic Testing: Theory and Applications
The derivation of functional equivalents of imperative programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Index Design for Structured Documents Based on Abstraction
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Analysing Approximate Confinement under Uniform Attacks
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Robustness analysis of avionics embedded systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Meta-circular abstract interpretation in prolog
The essence of computation
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Compiler Optimization Correctness by Temporal Logic
Higher-Order and Symbolic Computation
Static program analysis of embedded executable assembly code
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Flow analysis of lazy higher-order functional programs
Theoretical Computer Science
Safety of nöcker's strictness analysis
Journal of Functional Programming
Framework for safe reuse of software binaries
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
On the power of abstract interpretation
Computer Languages
Proofs you can believe in: proving equivalences between Prolog semantics in Coq
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |