10871 search results - page 229 / 2175 » A stable programming language |
189
click to vote
AAAI
2000
15 years 7 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
156
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
161
click to vote
NAACL
2007
15 years 8 months ago
2007
Interests to realize semantic frames databases as a stable starting point in developing semantic knowledge based systems exists in countries such as Germany (the Salsa project), E...
192
click to vote
FMOODS
2008
15 years 8 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...
175
click to vote
GI
1995
Springer
15 years 10 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...