ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 3,146 of 1,394,228
|
|
Results 1 - 20 of 3,146
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
Verifying infinite state processes with sequential and parallel composition
|
|
January 1995
|
|
POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(1.29 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 20, Downloads (Overall): 209, Citation Count: 1 |
 |
|
We investigate the verification problem of infinite-state process w.r.t. logic-based specifications that express properties which may be nonregular. We consider the process algebra PA which integrates and strictly subsumes the algebras BPA (basic process ...
|
|
2
|
|
3
|
|
Notes on communicating sequential processes
|
|
January 1987
|
|
Control Flow and Data Flow: concepts of distributed programming
|
|
Publisher: Springer-Verlag New York, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
4
|
|
State in Haskell
|
|
December 1995
|
|
Lisp and Symbolic Computation
, Volume 8 Issue 4
|
|
Publisher: Kluwer Academic Publishers
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 48 |
|
|
|
Keywords: functional programming, input-output, side-effects, types
|
|
5
|
|
6
|
|
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
|
|
May 2005
|
|
Formal Methods in System Design
, Volume 26 Issue 3
|
|
Publisher: Kluwer Academic Publishers
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Process algebras are convenient formalisms to develop specifications stepwise. This can be done with the help of partially defined states in a specification. When refining the specification, new transitions are added to partially defined states. At every ...
Keywords: process algebra, refinement, specification, verification
|
|
7
|
|
Controlling the behavior of functional language systems
|
|
October 1987
|
|
Proc. of a conference on Functional programming languages and computer architecture
|
|
Publisher: Springer-Verlag
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
8
|
|
Declarative pruning in a functional query language
|
|
November 1999
|
|
Proceedings of the 1999 international conference on Logic programming
|
|
Publisher: Massachusetts Institute of Technology
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
9
|
|
Refactoring use case models
|
|
January 2007
|
|
Refactoring use case models
|
|
Publisher: Concordia University
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Use cases are promising vehicles for specifying requirements. However, obtaining well-organized use case models is difficult during software evolution. The thesis proposes to address the issue by refactoring use case models. Refactoring is a program ...
|
|
10
|
|
Action transformation by partial evaluation
|
|
June 1995
|
|
PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(848.97 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 10, Downloads (Overall): 87, Citation Count: 0 |
|
|
|
|
|
11
|
|
Quartz: A Framework for Correct and Efficient Reconfigurable Design
|
|
September 2005
|
|
RECONFIG '05: Proceedings of the 2005 International Conference on Reconfigurable Computing and FPGAs (ReConFig'05) on Reconfigurable Computing and FPGAs
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
We present Quartz, the first language supporting advanced features such as polymorphism, overloading, formal reasoning and generic VHDL library compilation, for correct and efficient reconfigurable design. Quartz is designed to support formal reasoning ...
|
|
12
|
|
Semantics of multiple inheritance
|
|
December 1989
|
|
Readings in object-oriented database systems
|
|
Publisher: Morgan Kaufmann Publishers Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
13
|
|
The Ravenscar Profile
|
|
December 1999
|
|
SIGAda Ada Letters
, Volume XIX Issue 4
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(144.47 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 9, Downloads (Overall): 170, Citation Count: 13 |
|
|
The Ravenscar profile is described. All its features and restrictions are noted. Also, the means of designating the profile is presented. Detailed motivations for the profile are not given. The aim of the paper is to summarize the outcome of deliberations ...
|
|
14
|
|
15
|
|
16
|
|
17
|
|
Algebraic semantics and complexity of term rewriting systems
|
|
January 1989
|
|
RTA-89: Proceedings of the 3rd international conference on Rewriting Techniques and Applications
|
|
Publisher: Springer-Verlag New York, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
18
|
|
19
|
|
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
|
|
August 2006
|
|
LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 6 |
|
|
We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing systems. Indeed, we instantiate this general abstract model theory in a framework ...
|
|
20
|
|
Syntactical and semantical aspects of Faust
|
|
September 2004
|
|
Soft Computing - A Fusion of Foundations, Methodologies and Applications
, Volume 8 Issue 9
|
|
Publisher: Springer-Verlag
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 2 |
|
|
This paper presents some syntactical and semantical aspects of FAUST (Functional AUdio STreams), a programming language for real-time sound processing and synthesis. The programming model of FAUST combines two approaches: <i>functional programming</i> ...
Keywords: Dataflow, Functional programming, Real-time, Signal processing, compiler
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site