general-purpose programming language

30

CC
2005
Springer

115views System Software» more CC 2005»

Hob: A Tool for Verifying Data Structure Consistency

14 years 5 months ago

Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...

Patrick Lam, Viktor Kuncak, Martin C. Rinard

claim paper

Read More »

26

click to vote

ACSC
2006
IEEE

79views Theoretical Computer Science» more ACSC 2006»

Programming with heterogeneous structures: manipulating XML data using bondi

14 years 5 months ago

Download crpit.com

Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...

F. Y. Huang, C. B. Jay, David B. Skillicorn

claim paper

Read More »

38

click to vote

DAC
1998
ACM

181views Computer Architecture» more DAC 1998»

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement

15 years 12 days ago

Download www.xcf.berkeley.edu

Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...

James Shin Young, Josh MacDonald, Michael Shilman,...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers