4281 search results - page 71 / 857 » How to Disembed a Program |
97
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
86
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
93
Voted
FOSAD
2009
Springer
15 years 4 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
98
Voted
PADL
2000
Springer
15 years 4 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
105
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...