首页>外文期刊>计算机、自动化>Computer Languages, Systems & Structures

Computer Languages, Systems & Structures

SCIEI

中文名称：计算机语言，系统和结构

ISSN：1477-8424
出版周期：Quarterly

发文量：341

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Symbolic execution based on language transformation

机译：基于语言转换的符号执行
- 作者：Arusoaie Andrei;Lucanu Dorel;Rusu Vlad
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptaa期
- Symbolic execution;
- Formal semantics;
- Programming languages;
- Program analysis;
2.Practical domain-specific debuggers using the Moldable Debugger framework

机译：使用Moldable Debugger框架的特定于领域的实用调试器
- 作者：Chis Andrei;Denker Marcus;Girba Tudor;Nierstrasz Oscar
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptaa期
- Debugging;
- Customization;
- Domain-specific tools;
- User interfaces;
- Programming environments;
- Smalltalk;
3.Bounded seas

机译：出海
- 作者：Kurs Jan;Lungu Mircea;Iyadurai Rathesan;Nierstrasz Oscar
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptaa期
- Semi-parsing;
- Island parsing;
- Parsing expression grammars;
4.Evaluating and comparing language workbenches Existing results and benchmarks for the future

机译：评估和比较语言工作台未来的现有结果和基准
- 作者：Erdweg Sebastian;van der Storm Tijs;Voelter Markus;Tratt Laurence;Bosman Remi;Cook William R.;Gerritsen Albert;Hulshout Angelo;Kelly Steven;Loh Alex;Konat Gabriel;Molina Pedro J.;Palatnik Martin;Pohjonen Risto;Schindler Eugen;Schindler Klemens;Solmi Riccardo;Vergu Vlad;Visser Eelco;van der Vlist Kevin;Wachsmuth Guido;van der Woning Jimi
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptaa期
- Language workbenches;
- Domain-specific languages;
- Questionnaire language;
- Survey;
- Benchmarks;
5.Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)

机译：第六届和第七届软件语言工程国际会议特刊（SLE 2013和SLE 2014）
- 作者：Combemale Benoit;Pearce David J.;Paige Richard F.;Van Wyk Eric
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptaa期
6.Editorial of Special Issue Trends in Functional Programming 2011/12 Preface

机译：2011/12年函数编程特殊问题趋势社论前言
- 作者：Loidl Hans-Wolfgang;Pena Ricardo
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptab期
7.Combining deep and shallow embedding of domain-specific languages

机译：结合深度和浅层嵌入特定领域的语言
- 作者：Svenningsson Josef;Axelsson Emil
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptab期
- Domain specific languages;
- Shallow embedding;
- Deep embedding;
- Fusion;
- Monads;
8.Generative and accumulative recursion made fun for beginners

机译：生成和累积递归使初学者很有趣
- 作者：Morazan Marco T.
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptab期
9.Derivation and inference of higher-order strictness types

机译：高阶严格性类型的推导和推断
- 作者：Smetsers Sjaak;van Eekelen Marko
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptab期
- Strictness analysis;
- Lambda calculus;
- Typing;
- Operational semantics;
- Automated theorem proving;
10.Approaches to interpreter composition

机译：口译员组成的方法
- 作者：Barrett Edd;Bolz Carl Friedrich;Tratt Laurence
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Language composition;
- Virtual machines;
11.Flexary connectives in Mizar

机译：Mizar中的挠性连接词
- 作者：Kornilowicz Artur
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Proof assisant;
- Ellipsis;
- Flexary conjunction;
- Flexary disjunction;
- MIZAR;
12.On the verification of architectural reconfigurations

机译：关于架构重配置的验证
- 作者：Sanchez Alejandro;Madeira Alexandre;Barbosa Luis S.
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Architectural reconfiguration;
- Architectural description language;
- Modal logic;
- Graded hybrid logic;
13.Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool

机译：多范式信息系统建模工具中数据库设计的扩展实体关系方法的概念和评估
- 作者：Dimitrieski Vladimir;Celikovic Milan;Aleksic Slavica;Ristic Sonja;Alargt Abdalla;Lukovic Ivan
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Entity-relationship;
- Domain-specific language;
- Model transformation;
- Information system design;
- Evaluation study;
14.The intelligent memory allocator selector

机译：智能内存分配器选择器
- 作者：Ulgen Onur;Avci Mutlu
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Memory fragmentation;
- Memory allocator;
- Garbage collection;
- Virtual machine;
15.DSML4CP: A Domain-specific Modeling Language for Concurrent Programming

机译：DSML4CP：用于并行编程的特定于域的建模语言
- 作者：Marand Elaheh Azadi;Marand Elham Azadi;Challenger Moharram
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Domain-specific Modeling Language;
- Metamodel;
- Code generation;
- Constraint control;
- Concurrent programming;
16.Supporting comprehensible presentation of clone candidates through two-dimensional maximisation

机译：通过二维最大化支持克隆候选者的可理解呈现
- 作者：Foerdos Viktoria;Toth Melinda
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Code clones;
- Comprehensible result presentation;
- Grouping;
- Maximum clique;
17.Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

机译：编译和验证安全关键型反应系统的SC-SystemJ程序
- 作者：Park Heejong;Malik Avinash;Salcic Zoran
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- SystemJ;
- SC-SystemJ;
- Safety-critical;
- Model-checking;
- Verification;
- Compilation;
18.A lightweight approach to component-level exception mechanism for robust android apps

机译：健壮的Android应用程序的轻量级组件级异常机制方法
- 作者：Choi Kwanghoon;Chang Byeong-Mo
- 期刊名称：《Computer Languages, Systems & Structures》 | 2015年第decaptac期
- Android;
- Java;
- Exception;
- Component;
- Semantics;
19.@Java: Bringing a richer annotation model to Java

机译：@Java：为Java提供更丰富的注释模型
- 作者：Walter Cazzola;Edoardo Vacchi
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第1期
- Java;
- Meta-data;
- Annotations;
- Reflection;
20.Special issue on the Programming Languages track at the 28th ACM Symposium on Applied Computing

机译：第28届ACM应用计算研讨会上有关编程语言的专题
- 作者：Marjan Mernik;Barrett R. Bryant
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第1期
21.Reliable scalable symbolic computation: The design of SymGridPar2

机译：可靠的可扩展符号计算：SymGridPar2的设计
- 作者：P. Maier;R. Stewart;P.W. Trinder
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第1期
- Parallel functional programming;
- Locality control;
- Fault tolerance;
22.Just-in-time value specialization

机译：即时价值专业化
- 作者：Igor Rafael de Assis Costa;Henrique Nazare Santos;Pericles Rafael Alves;Fernando Magno Quintao Pereira
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第2期
- Just-in-time compilation;
- JavaScript;
- Speculation;
23.Model checking XSL transformations

机译：模型检查XSL转换
- 作者：Giuseppe Della Penna
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第2期
- XML technologies;
- XSLT language;
- Software verification;
- Model checking;
24.A model driven architecture for the development of smart card software

机译：模型驱动的架构，用于开发智能卡软件
- 作者：Hidayet Burak Saritas;Geylani Kardas
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第2期
- Model driven architecture;
- Metamodel;
- Model transformation;
- Smart card;
- Java Card;
- Basic card;
25.AmbientTalk: programming responsive mobile peer-to-peer applications with actors

机译：AmbientTalk：使用参与者对响应性移动点对点应用程序进行编程
- 作者：Tom Van Cutsem;Elisa Gonzalez Boix;Christophe Scholliers;Andoni Lombide Carreton;Dries Harnie;Kevin Pinte;Wolfgang De Meuter
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第4期
- Actors;
- Event loops;
- Futures;
- Mobile networks;
- Peer-to-peer;
- Service discovery;
- Leasing;
26.Refinement of worst-case execution time bounds by graph pruning

机译：通过图修剪优化最坏情况的执行时间范围
- 作者：Florian Brandner;Alexander Jordan
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第4期
- Worst-case execution time analysis;
- Iterative refinement;
- Graph pruning;
27.A sparse evaluation technique for detailed semantic analyses

机译：一种用于详细语义分析的稀疏评估技术
- 作者：Yoonseok Ko;Kihong Heo;Hakjoo Oh
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第4期
- Static analysis;
- Abstract interpretation;
- Sparse evaluation;
- Data-flow analysis;
28.Bounded memory protocols

机译：有界内存协议
- 作者：Max Kanovich;Tajana Ban Kirigin;Vivek Nigam;Andre Scedrov
- 期刊名称：《Computer Languages, Systems & Structures》 | 2014年第4期
- Protocol security;
- Dolev-Yao adversary;
- Secrecy problem;
- Complexity;
- Undecidability;
29.Declarative secure distributed information systems

机译：声明式安全分布式信息系统
- 作者：Wenchao Zhou;Tao Tao;Boon Thau Loo;Yun Mao
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第1期
30.Elimination of parallel copies using code motion on data dependence graphs

机译：在数据依赖图上使用代码运动消除并行副本
- 作者：Florian Brandner;Quentin Colombet
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第1期
- parallel copy motion;
- data dependence graph;
- register allocation;
- register coalescing;
- copy elimination;
31.Verifying pointer and string analyses with region type systems

机译：使用区域类型系统验证指针和字符串分析
- 作者：Lennart Beringer;Robert Grabowski;Martin Hofmann
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第2期
- Pointer alias analysis;
- Formal verification;
- Region type system;
- Object-oriented languages;
- String analysis;
32.Monaco-A domain-specific language solution for reactive process control programming with hierarchical components

机译：摩纳哥-一种特定领域的语言解决方案，用于具有分层组件的反应性过程控制编程
- 作者：Herbert praehofer;Roland Schatz;Christian Wirth;Dominik Hurnaus;Hanspeter Moessenboeck
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第3期
- Domain-specific languages;
- Automation control;
- Reactive programming;
- Component-based systems;
33.A test-suite reduction approach to improving fault-localization effectiveness

机译：减少测试套件以提高故障定位效率的方法
- 作者：Gong Dandan;Wang Tiantian;Su Xiaohong;Ma Peijun
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第3期
- Software debugging;
- Fault localization;
- Test-suite reduction;
34.Noninterference in a predicative polymorphic calculus for access control

机译：用于访问控制的谓词多态演算中的不干扰
- 作者：Sepehr Amir-Mohammadian;Mehran S. Fallah
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第3期
- Access control;
- Denotational semantics;
- Noninterference;
- Predicative polymorphism;
35.Special issue on the Programming Languages track at the 27th ACM Symposium on Applied Computing

机译：第27届ACM应用计算研讨会上有关编程语言的专题
- 作者：Marjan Mernik;Barrett R. Bryant
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第4期
36.Context-sensitive trace inlining for Java

机译：Java的上下文相关跟踪内联
- 作者：Christian Haubl;Christian Wimmer;Hanspeter Moessenboeck
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第4期
- Java;
- Just-in-time;
- Trace-based;
- Compilation;
- Inlining;
37.Regular corecursion in Prolog

机译：Prolog中的常规corecursion
- 作者：Davide Ancona
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第4期
- Logic programming;
- Coinduction and corecursion;
38.Binary trees as a computational framework

机译：二叉树作为计算框架
- 作者：David Haraburda;Paul Tarau
- 期刊名称：《Computer Languages, Systems & Structures》 | 2013年第4期
39.Object swapping challenges: An evaluation of imageSegment

机译：对象交换的挑战：imageSegment的评估
- 作者：Mariano Martinez Peck;Noury Bouraqadi;Stephane Ducasse;Luc Fabresse
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- object swapping;
- serialization;
- imagesegment;
- smalltalk;
- object-oriented programming;
40.Spy: A flexible code profiling framework

机译：间谍：灵活的代码分析框架
- 作者：Alexandra Bergel;Felipe Banados;Romain Robbes;David R6thlisberger
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- smalltalk;
- profiling;
- visualization;
41.A language to bridge the gap between component-based design and implementation

机译：一种弥合基于组件的设计与实现之间的鸿沟的语言
- 作者：Luc Fabresse;Noury Bouraqadi;Christophe Dony;Marianne Huchard
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- components;
- programming language;
- unplanned connection;
- encapsulation;
- uniformity;
42.Ring: A unifying meta-model and infrastructure for Smalltalk source code analysis tools

机译：Ring：Smalltalk源代码分析工具的统一元模型和基础架构
- 作者：Veronica Uquillas Gomez;Stephane Ducasse;Theo DHondt
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- source code meta-model;
- versioning;
- refactoring;
- monticello;
- smalltalk;
43.Cyclic reference counting by typed reference fields

机译：通过键入的参考字段进行循环参考计数
- 作者：J. Morris Chang;Wei-Mei Chen;Paul A. Griffin;Ho-Yuan Cheng
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- java;
- garbage collection;
- reference counting;
- memory management;
44.TaKo: Providing transparent collaboration on single-user applications

机译：TaKo：在单用户应用程序上提供透明的协作
- 作者：Ruben Mondejar;Pedro Garcia-Lopez;Enrique Fernandez-Casado;Carles Pairot
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- collaboration;
- transparency;
- interception;
- AOP;
- event-based;
- peer-to-peer;
45.Linguistic style checking with program checking tools

机译：使用程序检查工具进行语言样式检查
- 作者：Fabrizio Perin;Lukas Renggli;Jorge Ressia
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
46.Java supervenience

机译：Java的便利
- 作者：Juan Rolando Reza
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
- java;
- supervenience;
- covariant override;
- accord relationship;
- behavioral intersection;
- polymorphic method;
- subaltern;
- synthetic variable;
- type safety;
- type system;
- soundness barrier;
- object-oriented;
47.Reviewers: 2011

机译：审稿人：2011
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第1期
48.Abstract interpretation of database query languages

机译：数据库查询语言的抽象解释
- 作者：Raju Haider;Agostino Cortesi
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第2期
- databases;
- SQL;
- program analysis;
- abstract interpretation;
49.Maintaining distributed logic programs incrementally

机译：增量维护分布式逻辑程序
- 作者：Vivek Nigam;Limin Jia;Boon Thau Loo;Andre Scedrov
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第2期
- declarative networking;
- correctness;
- logic programming;
- distributed datalog;
50.Program equivalence in a simple language with state

机译：具有状态的简单语言中的程序等效
- 作者：Nikos Tzevelekos
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第2期
51.First-order reasoning for higher-order concurrency

机译：高阶并发的一阶推理
- 作者：Vasileios Koutavas;Matthew Hennessy
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第3期
- higher-order concurrency;
- bisimulation;
- hennessy-milner logic;
52.Towards a programming model for context-aware applications

机译：建立面向上下文的应用程序的编程模型
- 作者：Jorge Barbosa;Fabiane Dillenburg;Gustavo Lermen;Alex Garzao;Cristiano Costa;Joao Rosa
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第3期
- mobile computing;
- context-aware computing;
- programming model;
53.Core FOBS: A hybrid functional and object-oriented language

机译：核心FOBS：功能和面向对象的混合语言
- 作者：James Gil de Lamadrid;Jill Zimmerman
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第3期
- object-oriented;
- functional;
- hybrid;
54.Data-bound variables for WS-BPEL executable processes

机译：WS-BPEL可执行流程的数据绑定变量
- 作者：Marcel Krizevnik;Matjaz B. Juric
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第4期
- WS-BPEL;
- service oriented architecture;
- service composition;
- data synchronization;
55.Construct specific coupling measurement for C++ software

机译：构建C ++软件的特定耦合测量
- 作者：Michael English;Tony Cahill;Jim Buckley
- 期刊名称：《Computer Languages, Systems & Structures》 | 2012年第4期
- coupling;
- software metric;
- C++;
- friend;
- inheritance;
- object-oriented software;
- information hiding;
- encapsulation;
- software measurement;
56.QoS-enabled and self-adaptive connectors for Web Services composition and coordination

机译：支持QoS的自适应连接器，用于Web服务组合和协调
- 作者：J.L. Pastrana;E. Pimentel;M. Katrib
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第1期
- web services;
- composition;
- coordination;
- run-time adaptation;
- ontology;
57.A transactional model for automatic exception handling

机译：用于自动异常处理的事务模型
- 作者：Bruno Cabral;Paulo Marques
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第1期
58.Widening and narrowing operators for abstract interpretation

机译：扩大和缩小运算符以进行抽象解释
- 作者：Agostino Cortesi;Matteo Zanioli
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第1期
- static analysis;
- abstract interpretation;
- abstract domains;
- widening operators;
- narrowing operators;
59.Memory-optimal evaluation of expression trees involving large objects

机译：涉及大型对象的表达式树的内存优化评估
- 作者：Chi-Chung Lam;Thomas Rauber;Gerald Baumgartner;Daniel Cociorva;P. Sadayappan
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第2期
- Expression tree;
- Evaluation order;
- Memory minimization;
- Register allocation;
60.Transforming XSLT stylesheets into XQuery expressions and vice versa

机译：将XSLT样式表转换为XQuery表达式，反之亦然
- 作者：Sven Groppe;Jinghua Groppe;Niklas Klein;Ralf Bettentrupp;Stefan Boettcher;Le Gruenwald
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第2期
- XML;
- XSLT;
- Xquery;
- Source-to-Source Translation;
61.Dependent vector types for data structuring in multirate Faust

机译：多速率浮士德中用于数据结构的相依矢量类型
- 作者：Pierre Jouvelot;Yann Orlarey
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第3期
62.Reconciling method overloading and dynamically typed scripting languages

机译：协调方法重载和动态键入脚本语言
- 作者：Alexandre Bergel
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第3期
- multi-language system;
- interoperability;
- smalltalklite;
- javalite;
- dynamic languages;
63.Programming with partially specified aggregates in Java^

机译：使用Java中的部分指定的聚合进行编程^
- 作者：F. Bergenti;L Chiarabini;G. Rossi
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第4期
- logical variables;
- constraints;
- finite sets;
- declarative programming;
64.Design and implementation of domain-specific language easytime

机译：特定领域语言easytime的设计和实现
- 作者：Iztok Fister Jr;Iztok Fister;Marjan Mernik;Janez Brest
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第4期
- domain-specific language;
- timing system;
- RFID technology;
65.Reducing memory space consumption through dataflow analysis

机译：通过数据流分析减少内存空间消耗
- 作者：Ozcan Ozturk
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第4期
- memory;
- dataflow analysis;
- CFC;
- compiler;
66.Improving performance through deep value profiling and specialization with code transformation^

机译：通过深入的价值分析和代码转换专业化来提高性能^
- 作者：Minhaj Ahmad Khan
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第4期
- code optimization;
- profile-guided optimization;
- software performance;
- code specialization;
- profiling;
67.Publisher's note

机译：发行人说明
- 作者：Ann Gabriel
- 期刊名称：《Computer Languages, Systems & Structures》 | 2011年第4期
68.Guest Editor Introduction

机译：客座编辑介绍
- 作者：Serge Demeyer;Jean-Francois Perrot
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
69.Forward Chaining In Halo: An Implementation Strategy For History-based Logic Pointcuts

机译：Halo中的前向链接：基于历史记录的逻辑切入点的实现策略
- 作者：Charlotte Herzeel;Kris Gybels;Pascal Costanza;Coen De Roover;Theo DHondt
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- aspect-oriented programming;
- rete forward chaining;
- common lisp;
- temporal logic pointcuts;
70.Practical, Pluggable Types For A Dynamic Language

机译：实用，可插入的动态语言类型
- 作者：Niklaus Haldiman;Marcus Denker;Oscar Nierstrasz
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- dynamic languages;
- type systems;
- programming languages;
71.Linguistic Symbiosis Between Event Loop Actors And Threads

机译：事件循环参与者和线程之间的语言共生
- 作者：Tom Van Cutsem;Stijn Mostinckx;Wolfgang De Meuter
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- actors;
- threads;
- events;
- futures;
- linguistic symbiosis;
- ambienttalk;
72.Traits At Work: The Design Of A New Trait-based Stream Library

机译：工作中的特征：基于特征的新流库的设计
- 作者：Damien Cassou;Stephane Ducasse;Roel Wuyts
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- object-oriented programming;
- inheritance;
- refactoring;
- traits;
- code reuse;
- smalltalk;
73.Transactional Memory In A Dynamic Language

机译：动态语言中的事务性内存
- 作者：Lukas Renggli;Oscar Nierstrasz
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- transactional memory;
- concurrent programming;
- language constructs and features;
74.Taking An Object-centric View On Dynamic Information With Object Flow Analysis

机译：通过对象流分析以对象为中心的动态信息视图
- 作者：Adrian Lienharda;Stephane Ducasseb;Tudor Giirbaa
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第1期
- dynamic analysis;
- object flow analysis;
75.Applying Model-checking To Solve Queries On Semistructured Data

机译：应用模型检查来解决半结构化数据的查询
- 作者：A. Dovier;E. Quintarelli
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第2期
- semistructured databases;
- CTL;
- model-checking;
76.Comparison And Evaluation Of Back-translation Algorithms For Staticsingle Assignment Forms

机译：静态单作业形式的反向翻译算法的比较和评估
- 作者：Masataka Sassa;Yo Ito;Masaki Kohama
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第2期
77.Efficient Reconfigurable Embedded Parsers

机译：高效的可重构嵌入式解析器
- 作者：Christos Pavlatos;Alexandras C. Dimopoulos;Andrew Koulouris;Theodore Andronikos;Ioannis Panagopoulos;George Papakonstantinou
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第2期
- syntactic pattern recognition;
- reconfigurable parsers;
- context-free grammars;
- FPGA;
78.Class Invariants As Abstract Interpretation Of Trace Semantics

机译：类不变量作为轨迹语义的抽象解释
- 作者：Francesco Logozzo
- 期刊名称：《Computer Languages, Systems & Structures》 | 2009年第2期
- abstract interpretation;
- class invariant;
- object-oriented programming;
- optimization;
- static analysis;
- trace semantics;
- verification;
79.Mechanisms for improved covariant type-checking

机译：改进协变类型检查的机制
- 作者：Kevin Cleereman;Michelle Cheatham;Krishnaprasad Thirunarayan
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第1期
80.PPL: A whole-image processing language

机译：PPL：一种全图像处理语言
- 作者：Shuangbao Wang;Zegang Dong;Jim X. Chen;Robert S. Ledley
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第1期
81.A generic, formal language-based methodology for hierarchical floorplanning-placement

机译：一种通用的，基于语言的形式化方法，用于层次布局规划
- 作者：Nikolaos G. Bourbakis
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第1期
82.CASL: A rapid-prototyping language for modern micro-architectures

机译：CASL：一种用于现代微体系结构的快速原型设计语言
- 作者：Edward K. Walters II;J. Eliot B. Moss;Trek Palmer;Timothy Richards;Charles C. Weems
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第4期
- simulation;
- architecture;
- ADL;
- p ipeline;
83.Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems

机译：嵌入式系统Java字节码到C提前编译器中的高效异常处理
- 作者：Dong-Heon Jung;JongKuk Park;Sung-Hwan Bae;Jaemok Lee;Soo-Mook Moon
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第4期
- bytecode-to-C;
- java ahead-of-time compiler;
- exception handling;
- stack cutting;
- java virtual machine;
- J2ME CDC;
84.Preface

机译：前言
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第4期
85.A new code generation algorithm for 2-offset producer order queue computation model

机译：两偏移生产者订单队列计算模型的新代码生成算法
- 作者：Arquimedes Canedo;Ben Abderazek;Masahiro Sowa
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第4期
- code generation;
- algorithms;
- queue computation;
- level DAG;
86.Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

机译：用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
- 作者：Pao-Ann Hsiung;Shang-Wei Lin
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第4期
- application framework;
- code generation;
- real-time embedded software;
- formal synthesis;
- formal verification;
- scheduling;
- software components;
- UML modeling;
87.Application-specific models and pointcuts using a logic metalanguage

机译：使用逻辑元语言的特定于应用程序的模型和切入点
- 作者：Johan Brichau;Andy Kellens;Kris Gybels;Kim Mens;Robert Hirschfeld;Theo DHondt
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
- aspect-oriented programming;
- logic metaprogramming;
- pointcut languages;
88.Creating sophisticated development tools with OmniBrowser

机译：使用OmniBrowser创建复杂的开发工具
- 作者：Alexandre Bergel;Stephane Ducasse;Colin Putney;Roel Wuyts
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
- programming environment;
- meta-description;
- graphical user interface;
- domain modelling;
89.Foundations of a simple and unified component-oriented language

机译：简单统一的面向组件语言的基础
- 作者：Luc Fabresse;Christophe Dony;Marianne Huchard
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
- component-oriented language;
- component connection;
- connector;
- component property;
90.Preface

机译：前言
- 作者：Wolfgang De Meuter
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
91.Reviewers: 2007

机译：审稿人：2007
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
92.Stateful traits and their formalization

机译：有状态的特征及其形式化
- 作者：Alexandre Bergel;Stephane Ducasse;Oscar Nierstrasz;Roel Wuyts
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
- traits;
- mixin;
- multiple-inheritance;
- eiffel;
- jigsaw;
- flattening;
93.Unanticipated partial behavioral reflection: Adapting applications at runtime

机译：意外的部分行为反映：在运行时适应应用程序
- 作者：David Roethlisberger;Marcus Denker;Eric Tanter
- 期刊名称：《Computer Languages, Systems & Structures》 | 2008年第3期
- reflection;
- metaprogramming;
- metaobject protocol;
- smalltalk;
94.Parallel resource co-allocation for the computational grid

机译：计算网格的并行资源共分配
- 作者：Hui-Xian Li;Chun-Tian Cheng;K.W. Chau
- 期刊名称：《Computer Languages, Systems & Structures》 | 2007年第1期
- computational grid;
- resource co-allocation;
- parallel computing;
- execution time;
95.Extending movilog for supporting Web services

机译：扩展movilog以支持Web服务
- 作者：Cristian Mateos;Alejandro Zunino;Marcelo Campo
- 期刊名称：《Computer Languages, Systems & Structures》 | 2007年第1期
- mobile agents;
- logic programming;
- web services;
- intelligent agents;
96.Multiple dispatch in reflective runtime environment

机译：反射运行时环境中的多个调度
- 作者：Rajeev Kumar;Vikram Agrawal
- 期刊名称：《Computer Languages, Systems & Structures》 | 2007年第2期
- object-oriented programming;
- message dispatch;
- dynamic dispatch;
- multimethods;
- reflection;
- virtual table;
- java;
- microsoft's common language runtime;
97.Security types preserving compilation

机译：保留编译的安全类型
- 作者：Gilles Barthe;Tamara Rezk;Amitabh Basu
- 期刊名称：《Computer Languages, Systems & Structures》 | 2007年第2期
- security;
- non-interference;
- program analysis;
- low-level languages;
98.Tailorable language for behavioral composition and configuration of software components

机译：量身定制的语言，用于软件组件的行为组成和配置
- 作者：Uwe Zdun
- 期刊名称：《Computer Languages, Systems & Structures》 | 2006年第1期
- software components;
- component composition;
- component configuration;
- tailorable language;
99.A minimalist approach to objects

机译：物体的简约方法
- 作者：John C. Lusth;R. Sean Bowman
- 期刊名称：《Computer Languages, Systems & Structures》 | 2006年第1期
- inheritance model;
- extension inheritance;
- reification inheritance;
- variation inheritance;
- delegation;
- environments;
100.Orthogonal parallel processing in vector Pascal

机译：向量Pascal中的正交并行处理
- 作者：Paul Cockshott;Greg Michaelson
- 期刊名称：《Computer Languages, Systems & Structures》 | 2006年第1期
- pascal;
- parallelism;
- SIMD;
- image processing;
- vector processing;
- data parallel;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号