5415 search results - page 439 / 1083 » The Implementation of Functional Programming Languages |
191
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
171
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
165
click to vote
WLP
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
206
Voted
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
198
Voted
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...