Search Sciweavers | Sciweavers

1736 search results - page 49 / 348

» Semantic Annotation for Java

135

click to vote

ISSRE
2008
IEEE

107views Software Engineering» more ISSRE 2008»

Changing Java's Semantics for Handling Null Pointer Exceptions

16 years 1 months ago

Download www.cs.virginia.edu

Kinga Dobolyi, Westley Weimer

claim paper

Read More »

128

click to vote

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

16 years 28 days ago

Download www.mimuw.edu.pl

Patryk Czarnik, Aleksy Schubert

claim paper

Read More »

131

click to vote

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics

16 years 9 days ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

146

click to vote

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

15 years 11 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

135

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers