general-purpose programming language

31

CC
2005
Springer

115views System Software» more CC 2005»

Hob: A Tool for Verifying Data Structure Consistency

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

27

click to vote

ACSC
2006
IEEE

79views Theoretical Computer Science» more ACSC 2006»

Programming with heterogeneous structures: manipulating XML data using bondi

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

39

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 1 months 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