In this paper we develop an object-sensitive type analysis for PHP, based on an extension of the notion of monotone frameworks to deal with the dynamic aspects of PHP, and followi...
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...
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...
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstr...
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...
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...
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dij...
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 ...
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang H...
: Collaboration between enterprises has moved from regional and national environments to a global one. This has tremendously increased the need for information exchange between col...
: The paper describes the single range observability issues related to a kinematics model of cooperating underwater vehicles. The paper extends previous results building on an augm...
Abstract: Apart from the 20-year anniversary in 2014 of the first publication of the GERAM (‘Generalised Enterprise Reference Architecture and Methodology’) Enterprise Architec...