Programming Languages

45

ICCL
1992
IEEE

131views Programming Languages» more ICCL 1992»

An automatically generated and provably correct compiler for a subset of Ada

14 years 3 months ago

We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...

Jens Palsberg

claim paper

Read More »

29

click to vote

ICCL
1992
IEEE

77views Programming Languages» more ICCL 1992»

Semantic issues in the design of languages for debugging

14 years 3 months ago

Download www.cs.ucdavis.edu

Richard H. Crawford, Ronald A. Olsson, W. Wilson H...

claim paper

Read More »

28

click to vote

ICCL
1992
IEEE

115views Programming Languages» more ICCL 1992»

Multiparadigm data structures in Leda

14 years 3 months ago

Download eecs.oregonstate.edu

Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...

Timothy A. Budd

claim paper

Read More »

29

click to vote

ICCL
1992
IEEE

103views Programming Languages» more ICCL 1992»

Static analysis of PostScript code

14 years 3 months ago

Download webhome.cs.uvic.ca

rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...

R. Nigel Horspool, Jan Vitek

claim paper

Read More »

19

click to vote

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

14 years 3 months ago

Download sunset.usc.edu

Harry Koehnemann, Timothy E. Lindquist

claim paper

Read More »

26

click to vote

SIGADA
1993
Springer

78views Programming Languages» more SIGADA 1993»

The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer

14 years 3 months ago

Download www.newportinstruments.com

Robert C. Leif, Jason Sara, Ian Burgess, Michael K...

claim paper

Read More »

31

click to vote

SIGADA
1993
Springer

69views Programming Languages» more SIGADA 1993»

A Project Support Environment Reference Model

14 years 3 months ago

Download www.cs.umd.edu

The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...

Alan W. Brown, David J. Carney, Peter H. Feiler, P...

claim paper

Read More »

25

click to vote

SIEMENS
1993

120views Programming Languages» more SIEMENS 1993»

Inference of Finite Automata Using Homing Sequences

14 years 3 months ago

Download people.csail.mit.edu

Ronald L. Rivest, Robert E. Schapire

claim paper