close
1.

電子ブック

EB
Manuel Carro, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
2.

電子ブック

EB
Manuel Carro, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
3.

電子ブック

EB
Manuel Carro, Takeo Kanade, Ricardo Peña
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Answer Set Programming in 2010: A Personal Perspective / Enrico Pontelli
An Introduction to Maude and Some of Its Applications / Narciso Martí-Oliet
Non-Monotonic Reasoning - Answer Set Programming
Efficient Application of Answer Set Programming for Advanced Data Integration / Nicola Leone ; Francesco Ricca ; Luca Agostino Rubino ; Giorgio Terracina
Implementing Query Answering for Hybrid MKNF Knowledge Bases / Ana Sofia Gomes ; José Júlio Alferes ; Terrance Swift
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport / Giovanni Grasso ; Salvatore Iiritano ; Vincenzino Lio ; Francesco Scalise
Types
Explicitly Typed Exceptions for Haskell / José Iborra
Conversion by Evaluation / Mathieu Boespflug
Parallelism and Distribution
Skeleton Composition Using Remote Data / Mischa Dieterle ; Thomas Horstmeyer ; Rita Loogen
Netlog, a Rule-Based Language for Distributed Programming / Stéphane Grumbach ; Fang Wang
Code Quality Assurance
Similar Code Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Static Detection of Race Conditions in Erlang / Maria Christakis ; Konstantinos Sagonas
Automating Mathematical Program Transformations / Ashish Agarwal ; Sooraj Bhat ; Alexander Gray ; Ignacio E. Grossmann
ActionScript In-Lined Reference Monitoring in Prolog / Meera Sridhar ; Kevin W. Hamlen
Domain Specific Languages
An Ode to Arrows / Hai Liu ; Paul Hudak
Lazy Combinators for Executable Specifications of General Attribute Grammars / Rahmatullah Hafiz ; Richard A. Frost
A Domain-Specific Language Approach to Protocol Stack Implementation / Yan Wang ; Verónica Gaspes
Programming Aids
First-Order Interactive Programming / Roly Perera
An ER-Based Framework for Declarative Web Programming / Michael Hanus ; Sven Koschnicke
Constraints
Lazy Explanations for Constraint Propagators / Ian P. Gent ; Ian Miguel ; Neil C. A. Moore
On the Implementation of the CLP (BN) Language / Vítor Santos Costa
Tabling - Agents
Compact Lists for Tabled Evaluation / João Raimundo ; Ricardo Rocha
A Simple and Efficient Implementation of Concurrent Local Tabling / Rui Marques ; José Cunha
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives / Miguel Areias
Prospective Storytelling Agents / Gonçalo Lopes ; Luís Moniz Pereira
Author Index
Invited Papers
Answer Set Programming in 2010: A Personal Perspective / Enrico Pontelli
An Introduction to Maude and Some of Its Applications / Narciso Martí-Oliet
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼