Results 1 to 10 of about 74,137 (194)
Nature, 1883 I HAVE been greatly interested in your note on M. Renard's researches as to the composition of the volcanic material ejected during the recent eruption of Krakatoa. The ashes, as stated, are those of a magma that would have produced an andesite with rhombic pyroxene.
F. C. Constable
+8 more sources
SSRN Electronic Journal, 2021 Notepad a project based on Java language made by Smit Shetye, Sarwesh Nandeshwar & Avinash ...
Smit Shetye +2 more
openaire +5 more sources
Flow Java: Declarative Concurrency for Java [PDF]
, 2003 Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations.
Drejhammar, Frej +3 more
openaire +4 more sources
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys, 2001 We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine-readable formal models of the whole of Java and its ...
Hartel, Pieter H., Moreau, Luc
openaire +4 more sources
Monitoring Java Programs with Java PathExplorer
Electronic Notes in Theoretical Computer Science, 2001 AbstractWe present recent work on the development of Java PathExplorer (JPaX), a tool for monitoring the execution of Java programs. JPaX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated
Klaus Havelund, Grigore Rosu
openaire +2 more sources
Safety-critical Java on a Java processor [PDF]
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012 The safety-critical Java (SCJ) specification is developed within the Java Community Process under specification request number JSR 302. The specification is available as public draft, but details are still discussed by the expert group. In this stage of the specification we need prototype implementations of SCJ and first test applications that are ...
Juan Ricardo Rios, Martin Schoeberl
openaire +1 more source
Rewriting Strategies in Java [PDF]
Electronic Notes in Theoretical Computer Science, 2008 In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The notion of strategy is complementary: this describes how rules are applied. In this paper, we show how a high-level strategy language can be implemented in a Java setting.
Balland, Emilie +2 more
openaire +4 more sources
Linguistic reflection in Java [PDF]
Software: Practice and Experience, 1998 Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to integrate these into its own execution.
Kirby, Graham Njal Cameron +2 more
openaire +5 more sources
nanopub-java: A Java Library for Nanopublications
CEUR Workshop Proceedings, 2015 The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nanopublication community. Its core features are stable, but it also contains unofficial and experimental extensions: for publishing to a ...
openaire +3 more sources
, 1997 The design of Java sports a simple and elegant object model. Its simplicity may well be the language's main selling point—it is both easy to learn and to implement—but in the long run the same simplicity may prove to be a sign of a lack of expressive power that could hinder the development of large software systems.
Krall, Andréas, Vitek, Jan
openaire +3 more sources