Search Sciweavers | Sciweavers

742 search results - page 30 / 149

» Formal Grammar for Java

139

click to vote

LDTA
2010

142views Programming Languages» more LDTA 2010»

Faster ambiguity detection by grammar filtering

15 years 6 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 »

109

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

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

136

click to vote

DSN
2002
IEEE

103views Computer Networks» more DSN 2002»

Formal Development of an Embedded Verifier for Java Card Byte Code

15 years 11 months ago

Download www.gemplus.com

Ludovic Casset, Lilian Burdy, Antoine Requet

claim paper

Read More »

Voted

JIT
1998
Springer

77views Database» more JIT 1998»

Java - formal fundiert

15 years 10 months ago

Download www4.in.tum.de

David von Oheimb, Cornelia Pusch

claim paper

Read More »

127

Voted

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers