850 search results - page 100 / 170 » A Logic Programming Language Based on Binding Algebras |
106
click to vote
PADL
2007
Springer
15 years 7 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
199
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
101
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
143
click to vote
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
FPCA
1989
15 years 5 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...