Sciweavers

2944 search results - page 27 / 589
» On Well Quasi-orders on Languages
Sort
View
FORTE
2011
13 years 3 days ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
WWW
2001
ACM
14 years 9 months ago
Indexing the Indonesian Web: Language Identification and Miscellaneous Issues
Information retrieval tools and search engines have mainly been leveraging research results and technologies developed for the English language. In this paper we report the issues...
Stéphane Bressan, Vinsensius Berlian Vega S...
UM
2007
Springer
14 years 2 months ago
Conceptualizing Student Models for ICALL
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
Luiz Amaral, Detmar Meurers
ICALP
2000
Springer
14 years 7 days ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
APLAS
2009
ACM
14 years 3 months ago
On the Decidability of Subtyping with Bounded Existential Types
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
Stefan Wehr, Peter Thiemann