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 388 / 2115
»
Programming Languages
Sort
relevance
views
votes
recent
update
View
thumb
title
156
click to vote
ICALP
2010
Springer
116
views
Programming Languages
»
more
ICALP 2010
»
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests
15 years 8 months ago
Download
www.mimuw.edu.pl
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
Mikolaj Bojanczyk, Pawel Parys
claim paper
Read More »
152
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 »
156
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 »
173
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 »
150
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 388 / 2115
Last »
Next »