926 search results - page 49 / 186 » Prolog as the First Programming Language |
113
click to vote
FIW
2009
15 years 9 days ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
218
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
143
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
236
click to vote
Book
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...
120
Voted
PAAPP
2002
15 years 2 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...