5090 search results - page 284 / 1018 » Constructing Strategies for Programming |
107
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
130
click to vote
TIC
1998
Springer
15 years 9 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
159
click to vote
FAC
2010
15 years 3 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
158
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
152
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...