Вы здесь

Главная

реализация

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

Automatic Testing of Object-Oriented Software
Automatic Verification of Hybrid Systems with Large Discrete State Space
Automating (Specification = Implemenation) using Equational Reasoning and LOTOS
A Verified Implementation of Narrowing
A Virtual Machine for a Process Calculus
Avoiding Anomalies in Inheritance Schemes
A WAM-Based Implementation of a Logic Language with Sets
Back-end Aspects of a Portable POOL-X implementation
Back to the Future: The Story of Squeak, A Practical Smalltalk Written in Itself
Binary Snapshots
Biomedical Simulation: Proc./4th International Symposium, ISBMS 2008. London, UK, July 2008
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form
Bounded Model Checking in Software Using SMT Solvers Instead of SAT Solvers
Bridging the Gap between Knowledge Engineering and Efficient Implementation in an Intelligent Tutoring System
CAMEL: An Extension of the Categorical Abstract Machine to Compile Functional/Logic Programs
Cellular Automata: Proc./12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 2016
Characterisation of Object Behaviour in Standard ML of New Jersey
CLP(PB) A Meta-Interpreter in CLP(R)
CLP(R lin) Revised
Cognitive Vision Systems: Sampling the Spectrum of Approaches
Collaborative and Distributed Chemical Engineering: From Understanding to Substantial Design Support: Results of the IMPROVE Project
Communication and Transactions in Vienna Parallel Logic
Compiler Construction: 17th International Conference, CC 2008 - part of ETAPS 2008. Budapest, Hungary, March/April 2008
Compiler Construction: Proc./10th Intern. Conf., CC 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001
Compiler Construction: Proc./12th Intern. Conf., CC 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Compiler Construction: Proc./18th International Conference, CC 2009, ETAPS 2009, York, UK, March 2009
Compiler Construction: Proc./5th Intern. Conf., CC 94. Edinburgh, U.K., April 1994
Compiler Construction: Proc./6th Intern. Conf., CC 96. Linkoping, Sweden, April 1996
Compiler Implementation of ADTs Using Profile Data
Compiler Support for Reference Tracking in a Type-Safe DSM
Compiling Constraint Handling Rules into Prolog with Attributed Variables
Compiling Process Graphs into Executable Code
Complex Task Implementation in Ada
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Component-Based Software Engineering: Proc./8th International Symposium, CBSE 2005. St.Louis, MO, USA, May 2005
Components, Features, and Agents in the ABC
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 7th International Workshop,CLIMA VII Hokodate,Japan,May 2006
Computer-Aided Refinement of Data Structures on Higher Order Algebraic Specifications
Computer Mathematics: Revised and Invited Papers/8th Asian Symposium, ASCM 2007. Singapore, December 2007
Computer Supported Cooperative Work in Design II: Revised Selected Papers/9th International Conference, CSCWD 2005. Coventry, UK, May 2005
Conceptual Modeling - ER 2008: Proc./27th International Conference on Conceptual Modeling. Barcelona, Spain, October 2008
Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos
Considerations in HPJava Language Design and Implementation
Constraint Handling Rules: Current Research Topics
Constructive Protocol Specification Using Cicero
Context-Sensitive Points-to Analysis: Is It Worth It?
Cooperative Design, Visualization, and Engineering: Proc./6th International Conference, CDVE 2009 Luxembourg, Luxembourg, September 2009
Coordination Models and Languages: Proc./7th International Conference, COORDINATION 2005. Namur, Belgium, April 2005
Coping with Crosscutting Software Changes using Information Transparency
Correctness of Trap-Based Breakpoint Implementations