Filters








738,961 Hits in 3.5 sec

Language Semantics [chapter]

Ioannis L. Kotsiopoulos
2003 IFIP Advances in Information and Communication Technology  
The paper is a response to the call for a common underlying domain theory to address the mismatch between syntax and semantics of enterprise modelling languages.  ...  Semantics of particular modelling languages and architectures can be obtained as specialisations of the general theory. Basic features of CIMOSA are derived as an example.  ...  It is all a matter of modelling architecture but not of language semantics: the fundamental semantics framework is already there!  ... 
doi:10.1007/978-0-387-35621-1_39 fatcat:gtzahsbju5gb5mu3pkrr4xrpjy

Programming language semantics

David A. Schmidt
1996 ACM Computing Surveys  
The Natural Semantics of the Language We can compare the denotational semantics of the imperative language with a natural semantics formulation.  ...  language, in what sense do the semantics agree?  ... 
doi:10.1145/234313.234419 fatcat:tb7ss5t6obc6fdzrk7ybqv6qtm

Programming Language Semantics [chapter]

David Schmidt
2014 Computing Handbook, Third Edition  
The Natural Semantics of the Language We can compare the denotational semantics of the imperative language with a natural semantics formulation.  ...  language, in what sense do the semantics agree?  ... 
doi:10.1201/b16812-78 fatcat:idkod27ql5dojieft2rojgataa

The Semantic Web Languages [chapter]

Fausto Giunchiglia, Feroz Farazi, Letizia Tanca, Roberto De Virgilio
2009 Semantic Web Information Management  
This article comes second in this book, after an article on data management, in order to first complete the picture with the description of the languages that can be used to represent information on the  ...  Semantic Web, and then highlight a few fundamental differences which make the database and Semantic Web paradigms complementary but somehow difficult to integrate.  ...  Web Languages http://www.w3.org/html/ The Semantic Web Languages The Semantic Web Languages The Semantic Web Languages The Semantic Web Languages The Semantic Web Languages  ... 
doi:10.1007/978-3-642-04329-1_3 fatcat:nzifw26awbcflp4hi75ygv4hw4

Relevance: Language, Semantics, Philosophy

John M. Budd
2004 Library Trends  
Other literatures, such as those of the philosophy of language and semantics, also have offered cogent thought that could and should be incorporated into LIS.  ...  This brief examination demonstrates that fruitful thought from philosophy, language, and semantics can help LIS delve more deeply into the study of relevance.  ...  Buckland, however, recognized the semantic challenges of claiming that a relevance judgment is an objective one.  ... 
dblp:journals/libt/Budd04 fatcat:d7dl6di46bfujbymxnrw263wii

Semantics for Modern Languages

Leonard Shaewitz
1953 The Modern Language Journal  
y1DUZ Semantics for Modern Languages HATEVER the virtues of knowing the pluperfect subjunctive, failure to com- municate can often be an embarrassingly simple matter.  ...  Similar examples of connotation occur by the hundreds, and teachers should be on the alert to use them in developing a better semantic orientation to language.  ... 
doi:10.1111/j.1540-4781.1953.tb04098.x fatcat:hcotn5nryjh4bpvwksuhoirsvu

Verifiable semantic difference languages

Thibaut Girka, David Mentré, Yann Régis-Gianas
2017 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17  
What if the programmer was given semantically grounded and high-level difference languages?  ...  Program differences are usually represented as textual differences on source code with no regard to its syntax or its semantics. In this paper, we introduce semantic-aware difference languages.  ...  This paper introduces a general language-agnostic framework in which the semantics of difference languages can be defined and on which mechanically-checked reasoning can be performed.  ... 
doi:10.1145/3131851.3131870 dblp:conf/ppdp/GirkaMR17 fatcat:hnsbim4cqbcrzksfnqocudxowy

Semantically linear programming languages

Luca Paolini, Mauro Piccolo
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
We propose a paradigmatic programming language (called SℓPCF) which is linear in a semantic sense.  ...  We give an interpretation of SℓPCF into a model of linear coherence spaces and we show that such semantics is fully abstract with respect to our language.  ...  A SEMANTICALLY LINEAR PROGRAMMING LANGUAGE SℓPCF is a PCF-like language with implicit truth-values which are coded on integers (zero codes "true" while any other numeral stands for "false").  ... 
doi:10.1145/1389449.1389462 dblp:conf/ppdp/PaoliniP08 fatcat:xq7u66ai75gv3fneegxuhujcke

Semantic Web Query Languages [chapter]

Rodney Topor, Kenneth Salem, Amarnath Gupta, Kazuo Goda, Johannes Gehrke, Nathaniel Palmer, Mohamed Sharaf, Alexandros Labrinidis, John F. Roddick, Ariel Fuxman, Renée J. Miller, Wang-Chiew Tan (+205 others)
2009 Encyclopedia of Database Systems  
It seems likely these two paradigms may converge in future Semantic Web query languages.  ...  This clearly separates the use of Semantic Web query languages from the use of classical query languages for centralised databases.  ... 
doi:10.1007/978-0-387-39940-9_1317 fatcat:fhdoyonwx5glzmznsdmovyq2gy

Semantics of programming languages

Jan Heering, Paul Klint
2000 SIGPLAN notices  
By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact.  ...  Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.  ...  The Role of Programming Language Semantics Programming language semantics has lost touch with large groups of potential users [39] .  ... 
doi:10.1145/351159.351173 fatcat:rzbk5gdlcngs5joiclxagu4ehu

Semantics through language sharing

Jessica Rubart
2008 Proceedings of the hypertext 2008 workshop on Collaboration and collective intelligence - WebScience '08  
A web semantics space is proposed that supports comparison of approaches with respect to language sharing.  ...  Both directions, the Semantic Web and Folksonomies, focus on language sharing. It is argued that to build holistic hypermedia systems these language kinds need to be integrated or mapped.  ...  Semantic types can represent the users' language whereas system types can represent the systems' language.  ... 
doi:10.1145/1379157.1379170 fatcat:brsrql4la5ahfjksbfv4wcghoe

Specifying programming language semantics

I. Greif, A. Meyer
1979 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79  
good as the language deflnltlon.  ...  The thests that a programming language semantics could be specified by glvlng all the "before-after" assertions true of programs has been espoused by Dljkstra [1975, 1976] abbreviate "VS(P(J) + C&))"  ... 
doi:10.1145/567752.567769 dblp:conf/popl/GreifM79 fatcat:7peovofapff4rl4eauxkbzg4xa

Semantics of programming languages

1994 Discrete Applied Mathematics  
By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact.  ...  Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.  ...  The Role of Programming Language Semantics Programming language semantics has lost touch with large groups of potential users [39] .  ... 
doi:10.1016/0166-218x(94)90155-4 fatcat:w7woc7xprjbzrdinczjjvqtmie

Language-driven Semantic Segmentation [article]

Boyi Li and Kilian Q. Weinberger and Serge Belongie and Vladlen Koltun and René Ranftl
2022 arXiv   pre-print
We present LSeg, a novel model for language-driven semantic image segmentation.  ...  The image encoder is trained with a contrastive objective to align pixel embeddings to the text embedding of the corresponding semantic class.  ...  ETHICS STATEMENT We proposed a novel approach to solve the generalized semantic segmentation problem.  ... 
arXiv:2201.03546v2 fatcat:hb5v4ks5zjayxffx2t5xaxcmzy

PROFESSIONAL LANGUAGE OF LANGUAGE INSTRUCTOR: LEXICAL-SEMANTIC CORRELATION

T. Kremenieva
2019 International Humanitarian University Herald. Philology  
Professional language of language instructor: lexical-semantic correlation Summary.  ...  The elaborate study of the lexical-semantic relations within the terminology contributes to the further enrichment and ordering of its lexical-semantic potential.  ... 
doi:10.32841/2409-1154.2019.43.2.34 fatcat:qa7vtlcul5cann4raqcrzyevoa
« Previous Showing results 1 — 15 out of 738,961 results