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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10575
search results - page 409 / 2115
»
T2Script Programming Language
Sort
relevance
views
votes
recent
update
View
thumb
title
138
click to vote
ERLANG
2008
ACM
85
views
Programming Languages
»
more
ERLANG 2008
»
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
15 years 8 months ago
Download
www.cs.kent.ac.uk
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...
claim paper
Read More »
142
click to vote
ICFP
2010
ACM
150
views
Programming Languages
»
more
ICFP 2010
»
Combining syntactic and semantic bidirectionalization
15 years 7 months ago
Download
www.iai.uni-bonn.de
Matsuda et al. [2007, ICFP] and Voigtl
Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat...
claim paper
Read More »
518
click to vote
Book
4712
views
Basics of Compiler Design
17 years 2 months ago
Download
www.diku.dk
"A compiler translates (or compiles) a program written in a highlevel programming language that is suitable for human programmers into the low-level machine language that is...
Torben Mogensen
posted by
scimaster
Read More »
165
click to vote
LISP
2000
96
views
more
LISP 2000
»
Continuations: A Mathematical Semantics for Handling Full Jumps
15 years 6 months ago
Download
www.cs.tufts.edu
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth
claim paper
Read More »
135
click to vote
IFIP
2009
Springer
95
views
Programming Languages
»
more
IFIP 2009
»
Specification and Verification of Side Channel Declassification
15 years 4 months ago
Download
www.cse.chalmers.se
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
claim paper
Read More »
« Prev
« First
page 409 / 2115
Last »
Next »