8766 search results - page 681 / 1754 » Functional logic programming |
149
Voted
ENTCS
2002
15 years 6 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
142
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
362
Voted
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
296
Voted
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
296
click to vote
Book
"This book is a tutorial. Its aim is to teach C to a beginner, but with
enough of the details so as not be outgrown as the years go by. It presumes
that you have some previo...