1180 search results - page 73 / 236 » Total Functional Software Engineering - Overview Paper |
101
click to vote
EWSPT
2003
Springer
15 years 4 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
81
Voted
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
70
Voted
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
CODES
2001
IEEE
15 years 2 months ago
2001
IEEE
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
FSTTCS
2008
Springer
15 years 4 days ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...