68 search results - page 8 / 14 » Specifying generic Java programs: two case studies |
TOCS
2008
14 years 9 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
TSE
2008
14 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
JUCS
2002
14 years 9 months ago
2002
: JPlag is a web service that finds pairs of similar programs among a given set of programs. It has successfully been used in practice for detecting plagiarisms among student Java ...
124
Voted
SCP
2011
14 years 4 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
72
Voted
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...