1063 search results - page 30 / 213 » Programming Methodologies in GCLA |
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
Expert programmers possess programming knowledge, which is language independent and abstract. Still, programming is mostly taught only via constructs of a programming language and...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
MPC
1998
Springer
13 years 11 months ago
1998
Springer
Program derivation methodology is applied to reconstruct Euler's proof that every prime congruent to 1 modulo 4 is the sum of two squares.