6794 search results - page 428 / 1359 » Semantics of Visual Languages |
189
click to vote
DSL
2009
15 years 4 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
192
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
165
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a summarization model based on the Universal Networking Language (UNL), which is a conceptual language for representing texts sentence by sentence, using seman...
143
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
177
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...