10055 search results - page 383 / 2011 » Structured programming using processes |
78
Voted
ECIS
2004
15 years 2 months ago
2004
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
94
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
92
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
100
click to vote
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...