399 search results - page 50 / 80 » An Integrated Development Environment for Declarative Multi-... |
106
click to vote
AOSD
2008
ACM
14 years 11 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
108
click to vote
ICOODB
2009
14 years 7 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
125
click to vote
CEFP
2007
Springer
15 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
PDCAT
2005
Springer
15 years 3 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...