Sciweavers

4257 search results - page 111 / 852

» The Logical Modularity of Programs

132

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

16 years 25 days ago

Weak updates and separation logic

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

152

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 12 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

137

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 11 months ago

Pebble Weighted Automata and Transitive Closure Logics

Download www.lsv.ens-cachan.fr

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...

claim paper

Read More »

126

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 8 months ago

Oracle Semantics for Concurrent Separation Logic

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

172

LOBJET
2006

127views more LOBJET 2006»

A Definition, Overview and Taxonomy of Generic Aspect Languages

15 years 6 months ago

A Definition, Overview and Taxonomy of Generic Aspect Languages

Download www.iai.uni-bonn.de

ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...

Günter Kniesel, Tobias Rho

claim paper

Read More »

« Prev « First page 111 / 852 Last » Next »