3824 search results - page 559 / 765 » Geometry Constructions Language |
144
Voted
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
125
click to vote
ICMB
2005
IEEE
15 years 9 months ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
124
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
110
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
135
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...