10575 search results - page 464 / 2115 » T2Script Programming Language |
169
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
177
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
187
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
285
click to vote
Book
"This book contains over 100 hacks which help C++ programs deal with the real. It includes coding tricks, tips on how to code safely, ideas on programming style, and some real...
170
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...