Search Sciweavers | Sciweavers

1736 search results - page 49 / 348

» Semantic Annotation for Java

107

click to vote

ISSRE
2008
IEEE

107views Software Engineering» more ISSRE 2008»

Changing Java's Semantics for Handling Null Pointer Exceptions

15 years 10 months ago

Download www.cs.virginia.edu

Kinga Dobolyi, Westley Weimer

claim paper

Read More »

Voted

TGC
2007
Springer

105views Applied Computing» more TGC 2007»

Extending Operational Semantics of the Java Bytecode

15 years 10 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

15 years 9 months ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

116

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 8 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

103

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers