Search Sciweavers | Sciweavers

1736 search results - page 49 / 348

» Semantic Annotation for Java

click to vote

ISSRE
2008
IEEE

107views Software Engineering» more ISSRE 2008»

Changing Java's Semantics for Handling Null Pointer Exceptions

14 years 2 months ago

Download www.cs.virginia.edu

Kinga Dobolyi, Westley Weimer

claim paper

Read More »

click to vote

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

14 years 1 months ago

Download www.mimuw.edu.pl

Patryk Czarnik, Aleksy Schubert

claim paper

Read More »

click to vote

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

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

14 years 1 months ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

click to vote

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

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

14 years 7 hour ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers