Cs-Se
Interpolant-Based Transition Relation Approximation
A Typical Model Audit Approach: Spreadsheet Audit Methodologies in the City of London
A Semantics-Aware Editing Environment for Prolog in Eclipse
Improved Linear Parallel Interference Cancellers
Cross-Participants : fostering design-use mediation in an Open Source Software community
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS2006 at ECOOP06
Heap Reference Analysis for Functional Programs
Compiling ER Specifications into Declarative Programs
Context-aware adaptation for group communication support applications with dynamic architecture
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
Metrics-Based Spreadsheet Visualization: Support for Focused Maintenance
A Domain-Specific Language for Programming in the Tile Assembly Model
Bootstrapping Inductive and Coinductive Types in HasCASL
Interface Matching and Combining Techniques for Services Integration
Description of the CUDF Format
A Primer on Spreadsheet Analytics
Introducing Automated Regression Testing in Open Source Projects
Contract Aware Components, 10 years after
Productivity tools to study constrained motion: electricians approach to mechanicians problem
Grammatical Aspects for Language Descriptions
Reflection and Hyper-Programming in Persistent Programming Systems
