10575 search results - page 288 / 2115 » T2Script Programming Language |
106
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
142
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
146
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
143
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
136
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...