Constantine: configurable static analysis tool in Eclipse (Englisch)
- Neue Suche nach: Gawade, Makarand
- Neue Suche nach: Ravikanth, K.
- Neue Suche nach: Aggarwal, Sanjeev
- Neue Suche nach: Gawade, Makarand
- Neue Suche nach: Ravikanth, K.
- Neue Suche nach: Aggarwal, Sanjeev
In:
Software: Practice and Experience
;
44
, 5
;
537-563
;
2014
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Constantine: configurable static analysis tool in Eclipse
-
Beteiligte:
-
Erschienen in:Software: Practice and Experience ; 44, 5 ; 537-563
-
Verlag:
-
Erscheinungsdatum:01.05.2014
-
Format / Umfang:27 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 44, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 483
-
Enabling OpenCL support for GPGPU in Kernel‐based Virtual MachineTien, Tsan‐Rong / You, Yi‐Ping et al. | 2014
- 511
-
SIPmsign: a lightweight mobile signature service based on the Session Initiation ProtocolRuiz‐Martínez, A. / Inmaculada Marín‐López, C. / Sánchez‐Martínez, D. / Castell Egea, I. et al. | 2014
- 537
-
Constantine: configurable static analysis tool in EclipseGawade, Makarand / Ravikanth, K. / Aggarwal, Sanjeev et al. | 2014
- 565
-
Efficient compilation strategy for object‐oriented languages under the closed‐world assumptionSonntag, Benoît / Colnet, Dominique et al. | 2014
- 593
-
A new approach to authenticating and encrypting Voice over Internet Protocol communicationsLago‐Fernández, J. / Gil‐Castiñeira, F. / González‐Castaño, F.J. et al. | 2014
- 621
-
Incremental inconsistency detection with low memory overheadFalleri, Jean‐Rémy / Blanc, Xavier / Bendraou, Reda / da Silva, Marcos Aurélio Almeida / Teyton, Cédric et al. | 2014