Вы здесь

Главная

семантика

Связанные издания:

Specification and Verification of Timed Lazy Systems
Specification-Oriented Semantics for Communicating Processes
Specifications in an Arbitrary Institution with Symbols
Specifications Using Multiple-Conclusion Logic Programs
Specifying Big Data Benchmarks: Revised Selected Papers/1st Workshop, WBDB 2012, San Jose,CA,USA, May 2012 and 2nd Workshop, WBDB 2012, Pune, India, December 2012
Specifying Distributed Software Architectures
Specifying Multimedia Binding Objects in Z
Specifying Prolog Trace Models with a Continuation Semantics
Specifying with Defaults: Compositional Semantics
Speech and Computer: Proc./22nd International Conference, SPECOM 2020, St.Petersburg, Russia, October 2020
Split Objects: A Disciplined Use of Delegation within Objects
Splitting a Logic Program
SProc Categorically
SQL/EER - Syntex and Semantics of an Entity-Relationship-Based Query Language
Stable Bistructure Models of PCF
Stable Model Checking for Disjunctive Logic Programs
Stackability in the Simply-Typed Call-By-Value Lambda Calculus
STACS 93: Proc./10th Annual Symp. on Theoretical Aspects of Computer Science. Wurzburg, Germany, February 1993
STACS 94: Proc./11th Annual Symp. on Theoretical Aspects of Computer Science. Caen, France, February 1994
Statecharts, Transition, Structures and Transformations
State-Conditioned Semantics in Databases
Static Analysis: Proc./14th International Symposium, SAS 2007. Kongens Lyngby, Denmark, August 2007
Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010
Static Analysis: Proc./8th Intern. Symp., SAS 2001, Paris, France, July 2001
Static Analysis: Proc./9th Intern. Symp., SAS 2002, Madrid, Spain, September 2002
Static semantics, types, and binding time analysis
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases
Statistical Language and Speech Processing: Proc./8th International Conference, SLSP 2020, Cardiff, UK, October 2020
Stepwise Design of Real-Time Systems
Stepwise Development of Fair Distributed Systems
Stratified and Three-Valued Logic Programming Semantics
Strictness and Totality Analysis
Strictness and Totality Analysis with Conjunction
String Processing and Information Retrieval: Proc./28th International Symposium, SPIRE 2021, Lille, France, October 2021
Structural Operational Semantics and Bounded Nondeterminism
Structural Operational Semantics for Kernel Andorra Prolog
Structural schema integration with full and partial correspondence using the Dual Model
Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 2018
Structure and Semantics in OODB Class Specification
Structured Interrupts
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017
Structured Operational Semantics for Concurrency and Hierarchy
Structured Operational Semantics for Process Algebras and Equational Axiom Systems
Studies on Speech Production: Revised Selected Papers/11th International Seminar, ISSP 2017, Tianjin, China, October 2017
Studying the ML Module System in HOL
Subrecursion as a Basis for a Feasible Programming Language
Subtyping can have a simple semantics
Subtyping with Singleton Types
Suggestion for a Parametrized Class Model