Compiling Natural Semantics

Compiling Natural Semantics

Εμφάνιση άλλων εκδόσεων (1)

Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This b...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Pettersson, Mikael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:	1st ed. 1999.
Σειρά:	Lecture Notes in Computer Science, 1549
Θέματα:	Programming languages (Electronic computers). Natural language processing (Computer science). Computer logic. Programming Languages, Compilers, Interpreters. Natural Language Processing (NLP). Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Έκδοση: (2002)

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27-29, 2019, Revised Selected Papers /
Έκδοση: (2019)

Natural Language Processing and Information Systems 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers /
Έκδοση: (2001)

Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
Έκδοση: (1997)

Logical Aspects of Computational Linguistics Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /
Έκδοση: (1999)

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
Έκδοση: (2019)

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /
Έκδοση: (2019)

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /
Έκδοση: (2019)

Formal Languages and Applications
Έκδοση: (2004)

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /
Έκδοση: (2018)

Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
Έκδοση: (2000)

Joint Training for Neural Machine Translation
ανά: Cheng, Yong, κ.ά.
Έκδοση: (2019)

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings /
Έκδοση: (2019)

Natural Language Processing and Information Systems 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002, Revised Papers /
Έκδοση: (2002)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Έκδοση: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Έκδοση: (2000)

Types in Compilation Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers /
Έκδοση: (2001)

Logical Aspects of Computational Linguistics Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers /
Έκδοση: (2001)

Incremental Speech Translation
ανά: Amtrup, Jan W., κ.ά.
Έκδοση: (1999)

Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings /
Έκδοση: (2001)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /
Έκδοση: (1999)

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings /
Έκδοση: (2019)

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings /
Έκδοση: (2018)

Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings /
Έκδοση: (2000)

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers /
Έκδοση: (2018)

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015 /
Έκδοση: (2018)

Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
Έκδοση: (2000)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Έκδοση: (2001)

Machine Translation: From Real Users to Research 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings /
Έκδοση: (2004)

Machine Translation: From Research to Real Users 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002. Proceedings /
Έκδοση: (2002)

Advances in Natural Language Processing Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings /
Έκδοση: (2002)

Advances in Natural Language Processing 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings /
Έκδοση: (2004)

Formal Syntax and Semantics of Java
Έκδοση: (1999)

Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures /
Έκδοση: (2002)

Compiler Construction 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
Έκδοση: (2002)

Compiler Construction 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

Compiler Construction 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /
Έκδοση: (1998)

Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
ανά: Wilhelm, Reinhard, κ.ά.
Έκδοση: (2001)

Compiler Construction 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II /
Έκδοση: (2019)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_fjduijdvt8pd3pli9kkd461k0f