3713 search results - page 137 / 743 » Constructing a Calculus of Programs |
CIE
2007
Springer
15 years 9 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
157
Voted
ASE
2005
15 years 3 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
228
Voted
ICDE
2000
IEEE
16 years 4 months ago
2000
IEEE
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
147
click to vote
RTA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
129
click to vote
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...