221 search results - page 24 / 45 » Heyting Algebras and Formal Languages |
141
Voted
TOSEM
2008
15 years 9 days ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
143
click to vote
AOSD
2012
ACM
13 years 8 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
112
click to vote
MPC
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
79
Voted
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
108
Voted
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...