4743 search results - page 157 / 949 » The PlusCal Algorithm Language |
125
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
145
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
80
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...
126
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
101
Voted
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents an adaptation of Luc Steels’s model of Category Formation and Language Sharing. The simple competitive learning algorithm is proposed as a more general means ...