… , as Lachmann calls them, are examples of what software developers call abstraction boundaries. Abstraction boundaries both categorize knowledge into productive … of abstraction and modularity to better understand how these institutions promote both …
In Humane Economics: Essays in Honor of Don Lavoie. Edward Elgar Publishing, Cheltenham, UK, 2006.… The transformation language Stratego provides high-level abstractions for implementation of a wide range of transformations. Our aim is to integrate transformation in the software development process and make it available to programmers …
SCAM 2005: [doi]… Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software … of the art in falsification. We show how user-defined abstractions can …
SCAM 2009: 137-146 [doi]… In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called "On understanding types, data abstraction, and polymorphism … abstraction, abstract data types and objects. This essay attempts to explain …
OOPSLA 2009: 557-572 [doi]… In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation … understanding of the domain of linguistic abstraction itself in higher-level meta languages …
SCP, 97:11-16, 2015. [doi]… in an intuitive way, since many details are taken care of by the abstractions …. The abstractions provided are based on an analysis of proven successful abstractions in the development process of desktop applications. As a result …
Master's thesis, Delft University of Technology, 2009. [doi]… how use of AspectJ interacts with the well-known data abstraction principle[2 …
reflection 2001: 270-271 [doi]