Search Sciweavers | Sciweavers

6054 search results - page 4 / 1211

» Implementation of Andorra-based Languages

114

Voted

ASPLOS
1994
ACM

109views Programming Languages» more ASPLOS 1994»

LCM: Memory System Support for Parallel Language Implementation

15 years 5 months ago

Download www.math.ups.edu

James R. Larus, Brad Richards, Guhan Viswanathan

claim paper

Read More »

260

Voted

ICLP
2011
Springer

346views Automated Reasoning» more ICLP 2011»

Implementation of Axiomatic Language

14 years 5 months ago

Download www.axiomaticlanguage.org

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 »

175

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

16 years 2 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 8 months ago

Download www.kircher-schwanninger.de

Thomas Cottenier, Aswin van den Berg, Tzilla Elrad

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

86views Programming Languages» more TOOLS 1999»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers