Aicas - PDFSEARCH.IO - Document Search Engine

Aicas
Results: 7

#	Item
1	Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany Add to Reading List Source URL: fmt.cs.utwente.nl Language: English - Date: 2011-03-06 18:47:02
2	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java
3	Towards Monitoring Temporal Properties with JamaicaVM Clemens Ballarin aicas GmbH Haid-und-Neu-StraßeKarlsruhe, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-12-02 15:16:55
4	Two Generalisations of Ro¸su and Chen’s Trace Slicing Algorithm A Clemens Ballarin aicas GmbH Haid-und-Neu-StraßeKarlsruhe, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-21 15:27:30
5	Libro_Aicas_finalsep07.pmd Add to Reading List Source URL: www.avesargentinas.org.ar Language: Spanish - Date: 2011-07-05 09:52:14
6	PDF Document Add to Reading List Source URL: www.aicas.com Language: English - Date: 2009-05-19 11:46:36 Garbage collection Region-based memory management Pointer JamaicaVM C Java Manual memory management Garbage Variable Computing Memory management Software engineering
7	PDF Document Add to Reading List Source URL: aicas.humboldt.org.co Language: Spanish - Date: 2010-01-25 18:47:10