Search Sciweavers | Sciweavers

742 search results - page 30 / 149

» Formal Grammar for Java

105

click to vote

LDTA
2010

142views Programming Languages» more LDTA 2010»

Faster ambiguity detection by grammar filtering

15 years 2 months ago

Download homepages.cwi.nl

Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...

H. J. S. Basten, Jurgen J. Vinju

claim paper

Read More »

click to vote

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

15 years 7 months ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

Voted

DSN
2002
IEEE

103views Computer Networks» more DSN 2002»

Formal Development of an Embedded Verifier for Java Card Byte Code

15 years 7 months ago

Download www.gemplus.com

Ludovic Casset, Lilian Burdy, Antoine Requet

claim paper

Read More »

click to vote

JIT
1998
Springer

77views Database» more JIT 1998»

Java - formal fundiert

15 years 6 months ago

Download www4.in.tum.de

David von Oheimb, Cornelia Pusch

claim paper

Read More »

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers