4959 search results - page 37 / 992 » Imperative Functional Programming |
102
click to vote
ICALP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
105
Voted
EDCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
88
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
94
Voted
HOTOS
2007
IEEE
15 years 2 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
APLAS
2009
ACM
15 years 5 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...