Search Sciweavers | Sciweavers

10871 search results - page 322 / 2175

» A stable programming language

158

Voted

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

15 years 6 months ago

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

165

Voted

WRLA
2010

113views Logical Reasoning» more WRLA 2010»

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

15 years 5 months ago

Download fsl.cs.uiuc.edu

Traian-Florin Serbanuta, Grigore Rosu

claim paper

Read More »

174

Voted

COMPUTER
2010

87views more COMPUTER 2010»

Architectural Concepts in Programming Languages

15 years 4 months ago

Download sdqweb.ipd.kit.edu

Manfred Broy, Ralf Reussner

claim paper

Read More »

184

click to vote

ENTCS
2010

82views more ENTCS 2010»

Reversible Computation and Reversible Programming Languages

15 years 4 months ago

Download www.cs.le.ac.uk

Tetsuo Yokoyama

claim paper

Read More »

175

Voted

CONSTRAINTS
2011

200views Applied Computing» more CONSTRAINTS 2011»

Formal languages for integer programming modeling of shift scheduling problems

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers