6274 search results - page 132 / 1255 » Proofs, Programs, Processes |
270
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
132
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
157
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
165
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
189
click to vote
APPINF
2003
15 years 7 months ago
2003
The paper presents a method in teaching software process at under-graduate level, based on the Personal Software Process (PSP). The goal is to inform students about the process an...