3926 search results - page 588 / 786 » A Logic of Object-Oriented Programs |
188
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
160
Voted
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
166
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
201
Voted
SIGSOFT
2006
ACM
16 years 1 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
201
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...