Concurrency, Graphs and Models - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540686767, 9783540686798
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Session and Union Types for Object Oriented Programming

2008 ◽  
pp. 659-680 ◽  
Author(s):  
Lorenzo Bettini ◽  
Sara Capecchi ◽  
Mariangiola Dezani-Ciancaglini ◽  
Elena Giachino ◽  
Betti Venneri
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

2008 ◽  
pp. 330-353 ◽  
Author(s):  
Carlo Ghezzi ◽  
Paola Inverardi ◽  
Carlo Montangero

scholarly journals An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

2008 ◽  
pp. 209-237 ◽  
Author(s):  
Manuel V. Hermenegildo ◽  
Francisco Bueno ◽  
Manuel Carro ◽  
Pedro López ◽  
José F. Morales ◽  
...  
Keyword(s):  
Program Development ◽  
Development Environment ◽  
Design Philosophy

Ugo Montanari in a Nutshell

2008 ◽  
pp. 1-8 ◽  
Author(s):  
Rocco De Nicola ◽  
Pierpaolo Degano ◽  
José Meseguer

scholarly journals Semiring-Based Soft Constraints

2008 ◽  
pp. 155-173 ◽  
Author(s):  
Stefano Bistarelli ◽  
Francesca Rossi
Keyword(s):  
Soft Constraints
Load More ...
Sign in / Sign up

Export Citation Format

Share Document