297 search results - page 26 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
118
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
118
click to vote
TOPLAS
1998
15 years 28 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
108
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
137
click to vote
ASE
2005
15 years 1 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...