PEPM
2015
ACM
8 years 7 months ago
2015
ACM
In this brief announcement we outline work we have done on defining a polyvariant cardinality analysis for a non-strict higherorder language equipped with user defined datatypes...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Compilers, amongst other programs, often work with data that (slowly) changes over time. When the changes between subsequent runs of the compiler are small, one would hope the com...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Most statically typed functional programming languages allow programmers to write partial functions: functions that are not defined on all the elements of their domain as speci...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Attribute Grammars (AGs) extend Context-Free Grammars with attributes: information gathered on the syntax tree that adds semantics to the syntax. AGs are very well suited for desc...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Java program adaptation between different APIs is a common task in software development. When an old API is upgraded to an incompatible new version, or when we want to migrate an ...
APSEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—Crowdsourcing is an emerging area and has evolved as a powerful practice to leverage the collective intelligence of the crowd. It has been applied in various domains ranging fro...
APSEC
2015
IEEE
8 years 7 months ago
2015
IEEE
— The bug-fix time i.e. the time to fix a bug after the bug was introduced is an important factor for bug related analysis, such as measuring software quality or coordinating dev...
APSEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—Case-based teaching is a well-known teaching methodology consisting of learning by reading, discussing and analyzing real-life cases and scenarios. We present a Case-Oriented Le...