11 – 20 of 20
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- « previous
- 1
- 2
- next »
- 2015
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Second-order constraints in dynamic invariant inference
2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
SEDGE : Symbolic example data generation for dataflow programs
2013) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 p.235-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
PQL: A Purely-Declarative Java Extension for Parallel Programming
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Java wildcards meet definition-site variance
2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
What can the GC compute efficiently? A language for heap assertions at GC time
(
- Contribution to journal › Article
- 2009
-
Mark
Program metamorphosis
2009) 23rd European Conference on Object-Oriented Programming, ECOOP 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5653 LNCS. p.394-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of imperative XML programs
(
- Contribution to journal › Article
- 2007
-
Mark
Analysis of imperative XML programs
2007) 11th International Symposium on Database Programming Languages, DBPL 2007 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4797 LNCS. p.216-230(
- Chapter in Book/Report/Conference proceeding › Book chapter
- « previous
- 1
- 2
- next »