2700 search results - page 304 / 540 » The role of abstraction in software engineering |
151
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
185
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
185
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
156
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
180
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...