2501 search results - page 338 / 501 » Obligations and Their Interaction with Programs |
152
click to vote
HASKELL
2005
ACM
16 years 3 days ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
142
click to vote
SIGITE
2005
ACM
16 years 2 days ago
2005
ACM
Educators have long been trying to spice things up in their introductory programming courses. Traditionally, twodimensional arrays have been taught non-graphically using contrived...
201
click to vote
AADEBUG
2005
Springer
16 years 2 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
187
click to vote
BERTINORO
2005
Springer
16 years 2 days ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
195
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...