4917 search results - page 454 / 984 » Software Engineering is Not Computer Science |
194
click to vote
PEPM
1999
ACM
15 years 12 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
210
click to vote
ICSE
1998
IEEE-ACM
15 years 12 months ago
1998
IEEE-ACM
Program slicing, a technique to compute the subset of program statements that can affect the value of a program variable at a specific program point, is widely used in tools to su...
185
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
214
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
183
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...