4690 search results - page 757 / 938 » An operational semantics for Scheme |
198
click to vote
APLAS
2005
ACM
16 years 22 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
163
click to vote
ECOOP
2005
Springer
16 years 21 days ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
211
click to vote
MM
2004
ACM
16 years 18 days ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...
199
click to vote
MATES
2004
Springer
16 years 16 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
198
click to vote
CISIS
2010
IEEE
16 years 14 days ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...