10622 search results - page 219 / 2125 » Python Programming Language |
152
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
110
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
145
click to vote
ACL
2012
13 years 5 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
156
click to vote
FMOODS
2008
15 years 4 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
141
Voted
GI
1995
Springer
15 years 7 months ago
1995
Springer
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...