Sciweavers

383 search results - page 2 / 77
» Formal Syntax and Semantics of Case Stacking Languages
Sort
View
SAC
2009
ACM
14 years 5 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
TBILLC
2005
Springer
14 years 4 months ago
Doubling: The Semantic Driving Force Behind Functional Categories
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...
Hedde Zeijlstra
JUCS
2007
98views more  JUCS 2007»
13 years 10 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...
VLC
2008
132views more  VLC 2008»
13 years 10 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
ICGI
1998
Springer
14 years 3 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier