4917 search results - page 454 / 984 » Software Engineering is Not Computer Science |
141
click to vote
PEPM
1999
ACM
15 years 9 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 ...
148
click to vote
ICSE
1998
IEEE-ACM
15 years 9 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...
122
click to vote
DEBS
2007
ACM
15 years 8 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...
155
click to vote
FOSSACS
2006
Springer
15 years 8 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...
132
Voted
FOSSACS
2006
Springer
15 years 8 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...