Sciweavers

10575 search results - page 287 / 2115

» T2Script Programming Language

119

WRLA
2010

113views Logical Reasoning» more WRLA 2010»

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

15 years 2 months ago

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

Download fsl.cs.uiuc.edu

Traian-Florin Serbanuta, Grigore Rosu

claim paper

Read More »

106

COMPUTER
2010

87views more COMPUTER 2010»

Architectural Concepts in Programming Languages

15 years 1 months ago

Architectural Concepts in Programming Languages

Download sdqweb.ipd.kit.edu

Manfred Broy, Ralf Reussner

claim paper

Read More »

125

ENTCS
2010

82views more ENTCS 2010»

Reversible Computation and Reversible Programming Languages

15 years 1 months ago

Reversible Computation and Reversible Programming Languages

Download www.cs.le.ac.uk

Tetsuo Yokoyama

claim paper

Read More »

95

ICSE
2011
IEEE-ACM

169views Software Engineering» more ICSE 2011»

Permission-based programming languages: NIER track

14 years 7 months ago

Permission-based programming languages: NIER track

Download www.cs.cmu.edu

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, ...

claim paper

Read More »

155

Voted

VLDB
1991
ACM

179views Database» more VLDB 1991»

A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language

15 years 7 months ago

A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language

Download www.vldb.org

Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...

Antonio Albano, Giorgio Ghelli, Renzo Orsini

posted by renzoorsini

Read More »

« Prev « First page 287 / 2115 Last » Next »