Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
6054
search results - page 4 / 1211
»
Implementation of Andorra-based Languages
Sort
relevance
views
votes
recent
update
View
thumb
title
26
click to vote
ASPLOS
1994
ACM
109
views
Programming Languages
»
more
ASPLOS 1994
»
LCM: Memory System Support for Parallel Language Implementation
13 years 11 months ago
Download
www.math.ups.edu
James R. Larus, Brad Richards, Guhan Viswanathan
claim paper
Read More »
81
click to vote
ICLP
2011
Springer
346
views
Automated Reasoning
»
more
ICLP 2011
»
Implementation of Axiomatic Language
12 years 11 months ago
Download
www.axiomaticlanguage.org
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
Walter W. Wilson
claim paper
Read More »
61
click to vote
POPL
2007
ACM
102
views
Programming Languages
»
more
POPL 2007
»
Secure implementations of typed channel abstractions
14 years 8 months ago
Download
www.dsi.unive.it
Michele Bugliesi, Marco Giunti
claim paper
Read More »
15
click to vote
ECOOP
2007
Springer
82
views
Programming Languages
»
more
ECOOP 2007
»
Joinpoint Inference from Behavioral Specification to Implementation
14 years 2 months ago
Download
www.kircher-schwanninger.de
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
claim paper
Read More »
20
click to vote
TOOLS
1999
IEEE
86
views
Programming Languages
»
more
TOOLS 1999
»
Extensible Motor of a Object-Relational DBMS: Design and Implementation
14 years 3 days ago
Download
www.mgt.ncu.edu.tw
Shi-guang Ju, Sergio V. Chapa, Wei-he Chen
claim paper
Read More »
« Prev
« First
page 4 / 1211
Last »
Next »