713 search results - page 16 / 143 » Syntax and Semantics of Babel-17 |
ICLP
1995
Springer
13 years 12 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
DAC
1996
ACM
14 years 18 days ago
1996
ACM
1 Two tutorials are presented introducing the basic syntax and semantics of Awk and Perl. The languages are taught by example, and the same example EDA applications are developed i...
RSCTC
2000
Springer
14 years 9 hour ago
2000
Springer
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...