Search Sciweavers | Sciweavers

This report summarizes a PhD research eﬀort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a speciﬁcation...

Walter W. Wilson

claim paper

Read More »

186

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

16 years 3 months ago

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

click to vote

ECOOP
2007
Springer

82views Programming Languages» more ECOOP 2007»

Joinpoint Inference from Behavioral Specification to Implementation

15 years 9 months ago

Download www.kircher-schwanninger.de

Thomas Cottenier, Aswin van den Berg, Tzilla Elrad

claim paper

Read More »

102

click to vote

TOOLS
1999
IEEE

86views Programming Languages» more TOOLS 1999»

Extensible Motor of a Object-Relational DBMS: Design and Implementation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers