Sciweavers

    1932 search results - page 67 / 387
    » Molecule-oriented programming in Java
    Sort
    View
    FASE
    2008
    Springer
    156views Software Engineering» more  FASE 2008»
    An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
    15 years 2 months ago
    An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
    Download  research.microsoft.com
    Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
    claim paper
    Read More »
    94
    Voted
    IFIP12
    2004
    91views Information Technology» more  IFIP12 2004»
    Diagnosing Java Programs with Static Abstractions of Data Structures
    15 years 1 months ago
    Diagnosing Java Programs with Static Abstractions of Data Structures
    Download  www.ist.tugraz.at
    Rong Chen, Daniel Köb, Franz Wotawa
    claim paper
    Read More »
    65
    Voted
    GECCO
    2008
    Springer
    116views Optimization» more  GECCO 2008»
    Finding deadlocks in large concurrent Java programs using genetic algorithms
    15 years 1 months ago
    Finding deadlocks in large concurrent Java programs using genetic algorithms
    Download  neo.lcc.uma.es
    Enrique Alba, J. Francisco Chicano, Marco Ferreira...
    claim paper
    Read More »
    66
    Voted
    GECCO
    2008
    Springer
    101views Optimization» more  GECCO 2008»
    Search-based test case generation for object-oriented java software using strongly-typed genetic programming
    15 years 1 months ago
    Search-based test case generation for object-oriented java software using strongly-typed genetic programming
    Download  neo.lcc.uma.es
    José Carlos Bregieiro Ribeiro
    claim paper
    Read More »
    75
    Voted
    LDTA
    2010
    151views Programming Languages» more  LDTA 2010»
    Specifying generic Java programs: two case studies
    15 years 22 days ago
    Specifying generic Java programs: two case studies
    Download  www.lri.fr
    Alain Giorgetti, Claude Marché, Elena Tushk...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.