4880 search results - page 87 / 976 » Manuals as Structured Programs |
131
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
PTS
2007
15 years 4 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
131
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
102
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
118
Voted
ICLP
1993
Springer
15 years 6 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...