Sciweavers

949 search results - page 84 / 190
» Programmed Mutagenesis Is Universal
Sort
View
WWW
2004
ACM
16 years 5 months ago
XJ: integration of XML processing into java
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
Igor Peshansky, Michael G. Burke, Mukund Raghavach...
POPL
1997
ACM
15 years 8 months ago
Type-Checking Higher-Order Polymorphic Multi-Methods
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
François Bourdoncle, Stephan Merz
ECTEL
2006
Springer
15 years 8 months ago
A Framework for Building Virtual Communities for Education
The aim of education is to provide the basis for life long learning and improvement. In this direction, schools and universities offer standard curricula aiming to cover the fundam...
Iraklis Varlamis, Ioannis Apostolakis
JOT
2010
137views more  JOT 2010»
15 years 2 months ago
Computational Abstraction Steps
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...
ASE
2011
14 years 8 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie