18429 search results - page 225 / 3686 » Typing dynamic typing |
134
click to vote
ICDM
2006
IEEE
16 years 18 days ago
2006
IEEE
Many people cooperate for creating something new. It is important for the team’s perfomance to build a trusting relationship. It is necessary for building the trusting relations...
230
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
163
click to vote
APLAS
2006
ACM
16 years 16 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
141
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
164
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...