<--- Back to Details
First PageDocument Content
Free software licenses / Software licenses / Eclipse Public License / Common Public License / Eclipse / Open-source software / Multi-licensing / Software / Free software / Computing
Date: 2014-03-10 16:17:44
Free software licenses
Software licenses
Eclipse Public License
Common Public License
Eclipse
Open-source software
Multi-licensing
Software
Free software
Computing

CPL to EPL Transition Plan September 2, 2004 2

Add to Reading List

Source URL: eclipse.org

Download Document from Source Website

File Size: 39,49 KB

Share Document on Facebook

Similar Documents

Software / System software / Computing / KDE / KDE Software Compilation / KDE Projects

Call for Proposals: Documentation Support for KDE KDE is an international community dedicated to writing Free Software for end users. Thousands of volunteers are working on software like a desktop, graphics applications,

DocID: 1xVe0 - View Document

Computing / Software engineering / Computer programming / Software bugs / Software testing / Computer network security / Debuggers / Common Weakness Enumeration / Memory debugger / Memory safety / Application security / Frama-C

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

DocID: 1xUYu - View Document

Computing / Software engineering / Data types / Computer programming / Primitive types / Formal languages / Formal methods / ANSI/ISO C Specification Language / C / String / Frama-C / Permutation

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

DocID: 1xUSC - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document

Computing / Software engineering / Computer programming / Data types / C++ / C / Primitive types / Software bugs / Pointer / Struct / Memory safety / C dynamic memory allocation

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

DocID: 1xTIX - View Document